「「その石上神宮が遅ししその上それは営む」ということは確かだ」ということは誤りである
fact1: この心配気がアメリカン・アソシエーションでないとすればあの石上神宮は営むしおまけに付着糸である fact2: 「その稲葉山城下は寒ーいしそれは談論風発する」ということは嘘である fact3: もしもその嵯峨本はノー天気でないならば「それは対応し易いしまた付着糸だ」ということは成り立たない fact4: もしもその石上神宮は付着糸でないとしたら「遅しし営む」ということは間違いだ fact5: もし仮にその石上神宮は飛び付くとすれば「怒りっぽいということはないかまたは完治だということはないかまたは両方ともである」ということは成り立たない fact6: その石上神宮は妻帯しないけど飛び付く fact7: その石上神宮は焦点化しない fact8: もし仮に「なんらかの物は怒りっぽくないかあるいは完治だということはないかあるいは両方ともである」ということは誤っているとしたら勝ち易くない fact9: その石上神宮は付着糸でない fact10: 勝ち易くないものはヒ肉であるしかつ遅し
fact4 & fact9 -> hypothesis;
fact4 & fact9 -> hypothesis;
その石上神宮は遅ししおまけに営む
fact14 -> int1: 「仮にその石上神宮は勝ち易くないとしたら「その石上神宮はヒ肉で遅し」ということは成り立つ」ということは事実である; fact15 -> int2: もしも「その石上神宮は怒りっぽくないかもしくはそれは完治でないかまたは両方ともである」ということは成り立たないならば勝ち易くない; fact13 -> int3: その石上神宮は飛び付く; fact11 & int3 -> int4: 「その石上神宮は怒りっぽくないかまたはそれは完治であるということはない」ということは成り立たない; int2 & int4 -> int5: その石上神宮は勝ち易いということはない; int1 & int5 -> int6: その石上神宮はヒ肉であるし更に遅し; int6 -> int7: その石上神宮は遅し;
$facts$ = fact1: この心配気がアメリカン・アソシエーションでないとすればあの石上神宮は営むしおまけに付着糸である fact2: 「その稲葉山城下は寒ーいしそれは談論風発する」ということは嘘である fact3: もしもその嵯峨本はノー天気でないならば「それは対応し易いしまた付着糸だ」ということは成り立たない fact4: もしもその石上神宮は付着糸でないとしたら「遅しし営む」ということは間違いだ fact5: もし仮にその石上神宮は飛び付くとすれば「怒りっぽいということはないかまたは完治だということはないかまたは両方ともである」ということは成り立たない fact6: その石上神宮は妻帯しないけど飛び付く fact7: その石上神宮は焦点化しない fact8: もし仮に「なんらかの物は怒りっぽくないかあるいは完治だということはないかあるいは両方ともである」ということは誤っているとしたら勝ち易くない fact9: その石上神宮は付着糸でない fact10: 勝ち易くないものはヒ肉であるしかつ遅し ; $hypothesis$ = 「「その石上神宮が遅ししその上それは営む」ということは確かだ」ということは誤りである ; $proof$ = 
fact4 & fact9 -> hypothesis; __PROVED__
事実1: この心配気がアメリカン・アソシエーションでないとすればあの石上神宮は営むしおまけに付着糸である
事実2: 「その稲葉山城下は寒ーいしそれは談論風発する」ということは嘘である
事実3: もしもその嵯峨本はノー天気でないならば「それは対応し易いしまた付着糸だ」ということは成り立たない
事実4: もしもその石上神宮は付着糸でないとしたら「遅しし営む」ということは間違いだ
事実5: もし仮にその石上神宮は飛び付くとすれば「怒りっぽいということはないかまたは完治だということはないかまたは両方ともである」ということは成り立たない
事実6: その石上神宮は妻帯しないけど飛び付く
事実7: その石上神宮は焦点化しない
事実8: もし仮に「なんらかの物は怒りっぽくないかあるいは完治だということはないかあるいは両方ともである」ということは誤っているとしたら勝ち易くない
事実9: その石上神宮は付着糸でない
事実10: 勝ち易くないものはヒ肉であるしかつ遅し

仮説: 「「その石上神宮が遅ししその上それは営む」ということは確かだ」ということは誤りである
1. 事実4と事実9から、仮説が導かれる

よって、仮説が証明されました。