# Generated with http://www.agfa.com/w3c/euler/#R3281 on 21 Dec 2002 19:17:52 GMT # for query http://www.agfa.com/w3c/euler/tpoint-proof.n3 # given {http://www.agfa.com/w3c/euler/tpoint-facts.n3=[], http://www.agfa.com/w3c/euler/tpoint.n3=[]} @prefix log: . @prefix : . @prefix owl: . { . { .( [ :center [ :X :0; :Y :2]; :radius [ :product :2; :product [ :slash [ :sqrt :5]]]; :apoint [ :X :3; :Y :6]]) a :Measurement} log:implies {( [ :center [ :X :0; :Y :2]; :radius [ :product :2; :product [ :slash [ :sqrt :5]]]; :apoint [ :X :3; :Y :6]; :slope [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]]) a :Calculation}} log:implies {( [ :tpoint [ :X [ :product [ :sum [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]]; :product :3]; :sum [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]; :product :6]]; :sum :0; :sum [ :product [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]; :product :2]]; :product [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]]; :sum :1]]]; :Y [ :product [ :sum [ :product [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]; :product :0]; :sum [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]]; :product :2]; :sum [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]; :product :3]]; :sum :6]; :product [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product :3; :product [ :sum :6; :sum [ :minus :2]]]]; :sum [ :sqrt [ :sum [ :product :4; :product [ :square :3]; :product [ :square [ :sum :6; :sum [ :minus :2]]]]; :sum [ :minus [ :product :4; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :2; :sum :6]]]; :sum [ :product :2; :product :2; :product [ :sum :0; :sum [ :minus :6]]]]]]]]]; :product [ :slash [ :product :2; :product [ :sum [ :square [ :product :2; :product [ :slash [ :sqrt :5]]]]; :sum [ :minus [ :square [ :sum :0; :sum [ :minus :3]]]]]]]]]; :sum :1]]]]]) a :Calculation}. # Proof found for http://www.agfa.com/w3c/euler/tpoint-proof.n3 in 11 steps (96 steps/sec) using 1 engine