この非翻訳領域は厚しない
fact1: もし「散策するしそれに斎かない」ものがあるとしたらこの非翻訳領域は厚し fact2: 「斎かない」ものはある fact3: もしも「あの関連取り引きは厚しない」ということは間違いだとするとこの非翻訳領域は厚しということはない fact4: 「散策するけれど斎くということはない」物はある fact5: もしこの頭ごなしが斎くとしたらあの関連取り引きは散策する fact6: 「散策するし加えて斎く」物はある fact7: もしもあの取り扱いは奥床しいなら「取り落とすし更にＡＩＤＳ感染でない」ということは間違いである fact8: 仮に厚しない物は斎かないとすれば散策する fact9: もしも何かは散策するとしたら厚し fact10: 「散策する」ものはある
fact4 & fact1 -> hypothesis;
「そのＡＲモデルは散策する」ということは確かだ
fact11 -> int1: そのＡＲモデルは厚しないししかも斎かないならば散策する;
$facts$ = fact1: もし「散策するしそれに斎かない」ものがあるとしたらこの非翻訳領域は厚し fact2: 「斎かない」ものはある fact3: もしも「あの関連取り引きは厚しない」ということは間違いだとするとこの非翻訳領域は厚しということはない fact4: 「散策するけれど斎くということはない」物はある fact5: もしこの頭ごなしが斎くとしたらあの関連取り引きは散策する fact6: 「散策するし加えて斎く」物はある fact7: もしもあの取り扱いは奥床しいなら「取り落とすし更にＡＩＤＳ感染でない」ということは間違いである fact8: 仮に厚しない物は斎かないとすれば散策する fact9: もしも何かは散策するとしたら厚し fact10: 「散策する」ものはある ; $hypothesis$ = この非翻訳領域は厚しない ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「散策するしそれに斎かない」ものがあるとしたらこの非翻訳領域は厚し
事実2: 「斎かない」ものはある
事実3: もしも「あの関連取り引きは厚しない」ということは間違いだとするとこの非翻訳領域は厚しということはない
事実4: 「散策するけれど斎くということはない」物はある
事実5: もしこの頭ごなしが斎くとしたらあの関連取り引きは散策する
事実6: 「散策するし加えて斎く」物はある
事実7: もしもあの取り扱いは奥床しいなら「取り落とすし更にＡＩＤＳ感染でない」ということは間違いである
事実8: 仮に厚しない物は斎かないとすれば散策する
事実9: もしも何かは散策するとしたら厚し
事実10: 「散策する」ものはある

仮説: この非翻訳領域は厚しない
1. 事実4と事実1から、仮説が否定される

よって、仮説が否定されました。