その刀杖品は御強い
fact1: もしもその刀杖品は仄暗くないなら「その輸送手段は目敏いけど御強くない」ということは成り立たない fact2: 「あの建長寺は舗装工事業でなくて仄暗くない」ということは成り立たないとすると「その刀杖品は仄暗くない」ということは本当である fact3: とあるものがさもしくないとすると稲作農耕でまたそれは記銘力障害だ fact4: もしもなんらかの物が稲作農耕でないとすればそれは目敏くない fact5: 「希わない」物はある fact6: 仮にあの取り調べ自体は住めるとすれば「あの建長寺は舗装工事業だということはないしその上仄暗いということはない」ということは間違いである fact7: べた付き易くない物は住めるし加えてＤＮＡ鎖である fact8: あのＮＨはさもしくない fact9: 「希わない」ものがあるとするとあの取り調べ自体はべた付き易くないししかも弁解でない fact10: 仮に「とある物は目敏い一方でそれは御強くない」ということは成り立たないとしたらそれは御強い fact11: もしあのＮＨが稲作農耕であるしそれが記銘力障害であるならその輸送手段は大型バスだということはない fact12: この動員は御強い一方で看守するということはない fact13: もし仮にとある物は大型バスでないけれど御強いとするとそれは闇改修である fact14: もしあの建長寺は目敏くないならば「あのＮＨは仄暗くてそれは大型バスだ」ということは間違いである fact15: その刀杖品は闇改修だ fact16: その刀杖品は闇改修だけれど深くない fact17: もしその刀杖品が闇改修だがそれが深くないとすれば御強い
fact17 & fact16 -> hypothesis;
fact17 & fact16 -> hypothesis;
その刀杖品は御強いということはない
fact18 -> int1: もしもあの建長寺は稲作農耕でないならそれは目敏くない;
$facts$ = fact1: もしもその刀杖品は仄暗くないなら「その輸送手段は目敏いけど御強くない」ということは成り立たない fact2: 「あの建長寺は舗装工事業でなくて仄暗くない」ということは成り立たないとすると「その刀杖品は仄暗くない」ということは本当である fact3: とあるものがさもしくないとすると稲作農耕でまたそれは記銘力障害だ fact4: もしもなんらかの物が稲作農耕でないとすればそれは目敏くない fact5: 「希わない」物はある fact6: 仮にあの取り調べ自体は住めるとすれば「あの建長寺は舗装工事業だということはないしその上仄暗いということはない」ということは間違いである fact7: べた付き易くない物は住めるし加えてＤＮＡ鎖である fact8: あのＮＨはさもしくない fact9: 「希わない」ものがあるとするとあの取り調べ自体はべた付き易くないししかも弁解でない fact10: 仮に「とある物は目敏い一方でそれは御強くない」ということは成り立たないとしたらそれは御強い fact11: もしあのＮＨが稲作農耕であるしそれが記銘力障害であるならその輸送手段は大型バスだということはない fact12: この動員は御強い一方で看守するということはない fact13: もし仮にとある物は大型バスでないけれど御強いとするとそれは闇改修である fact14: もしあの建長寺は目敏くないならば「あのＮＨは仄暗くてそれは大型バスだ」ということは間違いである fact15: その刀杖品は闇改修だ fact16: その刀杖品は闇改修だけれど深くない fact17: もしその刀杖品が闇改修だがそれが深くないとすれば御強い ; $hypothesis$ = その刀杖品は御強い ; $proof$ = 
fact17 & fact16 -> hypothesis; __PROVED__
事実1: もしもその刀杖品は仄暗くないなら「その輸送手段は目敏いけど御強くない」ということは成り立たない
事実2: 「あの建長寺は舗装工事業でなくて仄暗くない」ということは成り立たないとすると「その刀杖品は仄暗くない」ということは本当である
事実3: とあるものがさもしくないとすると稲作農耕でまたそれは記銘力障害だ
事実4: もしもなんらかの物が稲作農耕でないとすればそれは目敏くない
事実5: 「希わない」物はある
事実6: 仮にあの取り調べ自体は住めるとすれば「あの建長寺は舗装工事業だということはないしその上仄暗いということはない」ということは間違いである
事実7: べた付き易くない物は住めるし加えてＤＮＡ鎖である
事実8: あのＮＨはさもしくない
事実9: 「希わない」ものがあるとするとあの取り調べ自体はべた付き易くないししかも弁解でない
事実10: 仮に「とある物は目敏い一方でそれは御強くない」ということは成り立たないとしたらそれは御強い
事実11: もしあのＮＨが稲作農耕であるしそれが記銘力障害であるならその輸送手段は大型バスだということはない
事実12: この動員は御強い一方で看守するということはない
事実13: もし仮にとある物は大型バスでないけれど御強いとするとそれは闇改修である
事実14: もしあの建長寺は目敏くないならば「あのＮＨは仄暗くてそれは大型バスだ」ということは間違いである
事実15: その刀杖品は闇改修だ
事実16: その刀杖品は闇改修だけれど深くない
事実17: もしその刀杖品が闇改修だがそれが深くないとすれば御強い

仮説: その刀杖品は御強い
1. 事実17と事実16から、仮説が導かれる

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