「この非特異射影曲線間は焼成しないけれどきょろきょろする」ということは間違いである
fact1: 全てのものは見積もるしそれは思考しない fact2: もしもこのパン食はきょろきょろすれば「「この非特異射影曲線間は焼成しないけれどきょろきょろする」ということは成り立つ」ということは誤りである fact3: 「その無限回は湧き立つ」ということは成り立つ fact4: このパン食は再仕上げしない fact5: もし仮に刺々しい物が再仕上げしないとしたらきょろきょろする fact6: どれもこれもは再仕上げしない fact7: 進路妨害は設計業務でないとしたらそれは戻し易い fact8: そのフレーミングは刺々しいけど思考しない fact9: もしもこのパン食が焼成するがしかしそれが刺々しかないとすればそれはきょろきょろする fact10: 「この非特異射影曲線間は再仕上げしないけれどそれはホグワーツ校だ」ということは成り立たない fact11: 何もかもは甘いけれど男性作家でない fact12: 何もかもは刺々しくて更に再仕上げしない fact13: 「この非特異射影曲線間は再仕上げしないけどどす黒い」ということは嘘である fact14: もし仮に「この非特異射影曲線間は焼成するがしかしきょろきょろしない」ということは成り立つとすれば再仕上げする fact15: もし仮に刺々しい物が再仕上げすればそれはきょろきょろする fact16: この文字スタイルシートは空しい fact17: もしもこのパン食が刺々しいしそれに再仕上げするとしたらそれはきょろきょろする
fact12 -> int1: このパン食は刺々しいが再仕上げしない; fact5 -> int2: もしもこのパン食は刺々しいが再仕上げするということはないとするときょろきょろする; int1 & int2 -> int3: このパン食はきょろきょろする; int3 & fact2 -> hypothesis;
$facts$ = fact1: 全てのものは見積もるしそれは思考しない fact2: もしもこのパン食はきょろきょろすれば「「この非特異射影曲線間は焼成しないけれどきょろきょろする」ということは成り立つ」ということは誤りである fact3: 「その無限回は湧き立つ」ということは成り立つ fact4: このパン食は再仕上げしない fact5: もし仮に刺々しい物が再仕上げしないとしたらきょろきょろする fact6: どれもこれもは再仕上げしない fact7: 進路妨害は設計業務でないとしたらそれは戻し易い fact8: そのフレーミングは刺々しいけど思考しない fact9: もしもこのパン食が焼成するがしかしそれが刺々しかないとすればそれはきょろきょろする fact10: 「この非特異射影曲線間は再仕上げしないけれどそれはホグワーツ校だ」ということは成り立たない fact11: 何もかもは甘いけれど男性作家でない fact12: 何もかもは刺々しくて更に再仕上げしない fact13: 「この非特異射影曲線間は再仕上げしないけどどす黒い」ということは嘘である fact14: もし仮に「この非特異射影曲線間は焼成するがしかしきょろきょろしない」ということは成り立つとすれば再仕上げする fact15: もし仮に刺々しい物が再仕上げすればそれはきょろきょろする fact16: この文字スタイルシートは空しい fact17: もしもこのパン食が刺々しいしそれに再仕上げするとしたらそれはきょろきょろする ; $hypothesis$ = 「この非特異射影曲線間は焼成しないけれどきょろきょろする」ということは間違いである ; $proof$ = 
fact12 -> int1: このパン食は刺々しいが再仕上げしない; fact5 -> int2: もしもこのパン食は刺々しいが再仕上げするということはないとするときょろきょろする; int1 & int2 -> int3: このパン食はきょろきょろする; int3 & fact2 -> hypothesis; __PROVED__
事実1: 全てのものは見積もるしそれは思考しない
事実2: もしもこのパン食はきょろきょろすれば「「この非特異射影曲線間は焼成しないけれどきょろきょろする」ということは成り立つ」ということは誤りである
事実3: 「その無限回は湧き立つ」ということは成り立つ
事実4: このパン食は再仕上げしない
事実5: もし仮に刺々しい物が再仕上げしないとしたらきょろきょろする
事実6: どれもこれもは再仕上げしない
事実7: 進路妨害は設計業務でないとしたらそれは戻し易い
事実8: そのフレーミングは刺々しいけど思考しない
事実9: もしもこのパン食が焼成するがしかしそれが刺々しかないとすればそれはきょろきょろする
事実10: 「この非特異射影曲線間は再仕上げしないけれどそれはホグワーツ校だ」ということは成り立たない
事実11: 何もかもは甘いけれど男性作家でない
事実12: 何もかもは刺々しくて更に再仕上げしない
事実13: 「この非特異射影曲線間は再仕上げしないけどどす黒い」ということは嘘である
事実14: もし仮に「この非特異射影曲線間は焼成するがしかしきょろきょろしない」ということは成り立つとすれば再仕上げする
事実15: もし仮に刺々しい物が再仕上げすればそれはきょろきょろする
事実16: この文字スタイルシートは空しい
事実17: もしもこのパン食が刺々しいしそれに再仕上げするとしたらそれはきょろきょろする

仮説: 「この非特異射影曲線間は焼成しないけれどきょろきょろする」ということは間違いである
1. 事実12から、推論1: "このパン食は刺々しいが再仕上げしない"が導かれる
2. 事実5から、推論2: "もしもこのパン食は刺々しいが再仕上げするということはないとするときょろきょろする"が導かれる
3. 推論1と推論2から、推論3: "このパン食はきょろきょろする"が導かれる
4. 推論3と事実2から、仮説が導かれる

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