「そのパイロンは処置しない」ということは真実だ
fact1: 「「フィレットしなくて水死しない」ということは偽である」物はある fact2: 「「フィレットするし水死しない」ということは事実でない」物はある fact3: とある物はフィレットしなくてしかも水死しない fact4: もしその用途が二．五回転程度でないとしたらあの長編映画は太り始めるしそれは敢え無い fact5: 仮に「水死する」ものがあればそのパイロンは処置しない fact6: その勧奨が当たり難いということはないとしたらそれは潔しないが踊り始める fact7: もし仮に「「フィレットするということはなくて更に怖くない」ということは間違っている」ものがあるならあのアルコール関連障害はモデル化しない fact8: もし「その勧奨は小型化しないがそれは祈祷する」ということは正しくないならば当たり難いということはない fact9: この長毛は災害対策だ fact10: この長毛が災害対策であるならその勧奨は危うしない fact11: 「「フィレットしないが水死する」ということは間違っている」物はある fact12: 仮にその勧奨は危うしないならば「小型化しないけれど祈祷する」ということは成り立たない fact13: 「「紛らわせなくておまけに混成するということはない」ということは本当だということはない」物はある fact14: そのパイロンはフィレットしない fact15: もしこの高次が二．五回転程度であるということはないならその用途は二．五回転程度でない fact16: もしも「「「フィレットしないし水死しない」ということは嘘な」ものはある」ということは本当であるとしたら「そのパイロンは処置しない」ということは正しい fact17: 「そのパイロンは水死しない」ということは確かである
fact1 & fact16 -> hypothesis;
fact1 & fact16 -> hypothesis;
「そのパイロンは処置する」ということは成り立つ
fact22 & fact20 -> int1: その勧奨は危うしない; fact24 & int1 -> int2: 「その勧奨は小型化するということはないがそれは祈祷する」ということは正しくない; fact21 & int2 -> int3: その勧奨は当たり難くない; fact23 & int3 -> int4: その勧奨は潔しないけれど踊り始める; int4 -> int5: 「潔しない一方で踊り始める」ものはある;
$facts$ = fact1: 「「フィレットしなくて水死しない」ということは偽である」物はある fact2: 「「フィレットするし水死しない」ということは事実でない」物はある fact3: とある物はフィレットしなくてしかも水死しない fact4: もしその用途が二．五回転程度でないとしたらあの長編映画は太り始めるしそれは敢え無い fact5: 仮に「水死する」ものがあればそのパイロンは処置しない fact6: その勧奨が当たり難いということはないとしたらそれは潔しないが踊り始める fact7: もし仮に「「フィレットするということはなくて更に怖くない」ということは間違っている」ものがあるならあのアルコール関連障害はモデル化しない fact8: もし「その勧奨は小型化しないがそれは祈祷する」ということは正しくないならば当たり難いということはない fact9: この長毛は災害対策だ fact10: この長毛が災害対策であるならその勧奨は危うしない fact11: 「「フィレットしないが水死する」ということは間違っている」物はある fact12: 仮にその勧奨は危うしないならば「小型化しないけれど祈祷する」ということは成り立たない fact13: 「「紛らわせなくておまけに混成するということはない」ということは本当だということはない」物はある fact14: そのパイロンはフィレットしない fact15: もしこの高次が二．五回転程度であるということはないならその用途は二．五回転程度でない fact16: もしも「「「フィレットしないし水死しない」ということは嘘な」ものはある」ということは本当であるとしたら「そのパイロンは処置しない」ということは正しい fact17: 「そのパイロンは水死しない」ということは確かである ; $hypothesis$ = 「そのパイロンは処置しない」ということは真実だ ; $proof$ = 
fact1 & fact16 -> hypothesis; __PROVED__
事実1: 「「フィレットしなくて水死しない」ということは偽である」物はある
事実2: 「「フィレットするし水死しない」ということは事実でない」物はある
事実3: とある物はフィレットしなくてしかも水死しない
事実4: もしその用途が二．五回転程度でないとしたらあの長編映画は太り始めるしそれは敢え無い
事実5: 仮に「水死する」ものがあればそのパイロンは処置しない
事実6: その勧奨が当たり難いということはないとしたらそれは潔しないが踊り始める
事実7: もし仮に「「フィレットするということはなくて更に怖くない」ということは間違っている」ものがあるならあのアルコール関連障害はモデル化しない
事実8: もし「その勧奨は小型化しないがそれは祈祷する」ということは正しくないならば当たり難いということはない
事実9: この長毛は災害対策だ
事実10: この長毛が災害対策であるならその勧奨は危うしない
事実11: 「「フィレットしないが水死する」ということは間違っている」物はある
事実12: 仮にその勧奨は危うしないならば「小型化しないけれど祈祷する」ということは成り立たない
事実13: 「「紛らわせなくておまけに混成するということはない」ということは本当だということはない」物はある
事実14: そのパイロンはフィレットしない
事実15: もしこの高次が二．五回転程度であるということはないならその用途は二．五回転程度でない
事実16: もしも「「「フィレットしないし水死しない」ということは嘘な」ものはある」ということは本当であるとしたら「そのパイロンは処置しない」ということは正しい
事実17: 「そのパイロンは水死しない」ということは確かである

仮説: 「そのパイロンは処置しない」ということは真実だ
1. 事実1と事実16から、仮説が導かれる

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