この委任は銃撃戦だ
fact1: 仮に何らかのものは脱着であるということはないとしたらそれは銃撃戦だ fact2: 「もしもこの委任は苛々し易くないとすれば「この委任は小節でなくて浄化出来ない」ということは真実である」ということは誤っていない fact3: この委任は苛々し易くない fact4: もしあの当該事業場が狡賢くないならそれは遅れ易い fact5: もしも何らかのものが人懐こくないしそれは家庭生活でないならばそれは感応しない fact6: 何らかのものは防護でないとすれば「銃撃戦であるし苛々し易くない」ということは間違っている fact7: あのツインルームが苛々し易いとするとこの委任は苛々し易い fact8: 苛々し易い物は銃撃戦でないが脱着である fact9: もし仮にあのツインルームが食らわないならそれは有責性であるしそれはかわゆい fact10: もしなんらかの物が小節でなくてそれにそれが浄化出来るということはないとすればそれは脱着でない fact11: もし仮にこの委任が消し終わらないとしたらそれは言い辛い fact12: 仮にこのリース契約が消し終わるししかも食らうとしたらあのツインルームは食らうということはない
fact10 -> int1: もしこの委任は小節であるということはなくてかつ浄化出来ないとすれば脱着でない; fact3 & fact2 -> int2: この委任は小節でなくてそれは浄化出来ない; int1 & int2 -> int3: この委任は脱着でない; fact1 -> int4: もしこの委任は脱着であるということはないならば銃撃戦だ; int3 & int4 -> hypothesis;
fact10 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact3 & fact2 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; fact1 -> int4: ¬{B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
その最終利回りは脱着でない
fact13 -> int5: その最終利回りは防護でないならば「銃撃戦で更に苛々し易くない」ということは誤りだ;
$facts$ = fact1: 仮に何らかのものは脱着であるということはないとしたらそれは銃撃戦だ fact2: 「もしもこの委任は苛々し易くないとすれば「この委任は小節でなくて浄化出来ない」ということは真実である」ということは誤っていない fact3: この委任は苛々し易くない fact4: もしあの当該事業場が狡賢くないならそれは遅れ易い fact5: もしも何らかのものが人懐こくないしそれは家庭生活でないならばそれは感応しない fact6: 何らかのものは防護でないとすれば「銃撃戦であるし苛々し易くない」ということは間違っている fact7: あのツインルームが苛々し易いとするとこの委任は苛々し易い fact8: 苛々し易い物は銃撃戦でないが脱着である fact9: もし仮にあのツインルームが食らわないならそれは有責性であるしそれはかわゆい fact10: もしなんらかの物が小節でなくてそれにそれが浄化出来るということはないとすればそれは脱着でない fact11: もし仮にこの委任が消し終わらないとしたらそれは言い辛い fact12: 仮にこのリース契約が消し終わるししかも食らうとしたらあのツインルームは食らうということはない ; $hypothesis$ = この委任は銃撃戦だ ; $proof$ = 
fact10 -> int1: もしこの委任は小節であるということはなくてかつ浄化出来ないとすれば脱着でない; fact3 & fact2 -> int2: この委任は小節でなくてそれは浄化出来ない; int1 & int2 -> int3: この委任は脱着でない; fact1 -> int4: もしこの委任は脱着であるということはないならば銃撃戦だ; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮に何らかのものは脱着であるということはないとしたらそれは銃撃戦だ
事実2: 「もしもこの委任は苛々し易くないとすれば「この委任は小節でなくて浄化出来ない」ということは真実である」ということは誤っていない
事実3: この委任は苛々し易くない
事実4: もしあの当該事業場が狡賢くないならそれは遅れ易い
事実5: もしも何らかのものが人懐こくないしそれは家庭生活でないならばそれは感応しない
事実6: 何らかのものは防護でないとすれば「銃撃戦であるし苛々し易くない」ということは間違っている
事実7: あのツインルームが苛々し易いとするとこの委任は苛々し易い
事実8: 苛々し易い物は銃撃戦でないが脱着である
事実9: もし仮にあのツインルームが食らわないならそれは有責性であるしそれはかわゆい
事実10: もしなんらかの物が小節でなくてそれにそれが浄化出来るということはないとすればそれは脱着でない
事実11: もし仮にこの委任が消し終わらないとしたらそれは言い辛い
事実12: 仮にこのリース契約が消し終わるししかも食らうとしたらあのツインルームは食らうということはない

仮説: この委任は銃撃戦だ
1. 事実10から、推論1: "もしこの委任は小節であるということはなくてかつ浄化出来ないとすれば脱着でない"が導かれる
2. 事実3と事実2から、推論2: "この委任は小節でなくてそれは浄化出来ない"が導かれる
3. 推論1と推論2から、推論3: "この委任は脱着でない"が導かれる
4. 事実1から、推論4: "もしこの委任は脱着であるということはないならば銃撃戦だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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