その二癖は敢え無い
fact1: 仮に「なんらかの物は家職であるが限り無くない」ということは成り立たないならばそれは敢え無くない fact2: もしも人懐っこくないものは解放軍でないとするとそれは敢え無い fact3: あのエデンは人懐っこい fact4: 「あの取水口は来易くないけれど街らしい」ということは嘘だ fact5: もし「とある物はレーザー技術でない一方で来易い」ということは成り立たないとすれば解放軍だ fact6: 呼び易い物がフィットネスならそれは解放軍でない fact7: 仮に「何らかのものは呼び易くない一方でそれはフィットネスだ」ということは成り立たないとするとそれは限り無いということはない fact8: もしもあのエデンは人懐っこいとすれば「それはレーザー技術でないししかも来易い」ということは偽である fact9: もしもあの取水口は限り無いということはないならば「その二癖は家職であるがしかし限り無くない」ということは偽だ fact10: あのエデンは呼び易いしそれに敢え無い fact11: もしも「あの取水口は来易い一方でそれは解放軍でない」ということは成り立たないとするとフィットネスでない fact12: もしあのエデンが解放軍でないとすればその九年夏は限り無いしまた人懐っこい fact13: 「解放軍である」ものはあるとすると「あの取水口は呼び易くないがしかしそれはフィットネスだ」ということは偽である
fact8 & fact3 -> int1: 「あのエデンはレーザー技術でないが来易い」ということは成り立たない; fact5 -> int2: もし仮に「「あのエデンはレーザー技術でないが来易い」ということは成り立つ」ということは間違っているとすればそれは解放軍だ; int1 & int2 -> int3: 「あのエデンは解放軍である」ということは成り立つ; int3 -> int4: なにかは解放軍だ; int4 & fact13 -> int5: 「あの取水口は呼び易くないけれどそれはフィットネスである」ということは嘘だ; fact7 -> int6: もしも「あの取水口は呼び易くない一方でフィットネスだ」ということは間違っているとしたら限り無くない; int5 & int6 -> int7: あの取水口は限り無くない; int7 & fact9 -> int8: 「その二癖は家職であるけど限り無くない」ということは成り立たない; fact1 -> int9: もしも「その二癖は家職である一方で限り無くない」ということは事実と異なるとしたら敢え無くない; int8 & int9 -> hypothesis;
その二癖は敢え無い
fact14 -> int10: もしあのエデンは人懐っこくないし解放軍でないとすればそれは敢え無い;
$facts$ = fact1: 仮に「なんらかの物は家職であるが限り無くない」ということは成り立たないならばそれは敢え無くない fact2: もしも人懐っこくないものは解放軍でないとするとそれは敢え無い fact3: あのエデンは人懐っこい fact4: 「あの取水口は来易くないけれど街らしい」ということは嘘だ fact5: もし「とある物はレーザー技術でない一方で来易い」ということは成り立たないとすれば解放軍だ fact6: 呼び易い物がフィットネスならそれは解放軍でない fact7: 仮に「何らかのものは呼び易くない一方でそれはフィットネスだ」ということは成り立たないとするとそれは限り無いということはない fact8: もしもあのエデンは人懐っこいとすれば「それはレーザー技術でないししかも来易い」ということは偽である fact9: もしもあの取水口は限り無いということはないならば「その二癖は家職であるがしかし限り無くない」ということは偽だ fact10: あのエデンは呼び易いしそれに敢え無い fact11: もしも「あの取水口は来易い一方でそれは解放軍でない」ということは成り立たないとするとフィットネスでない fact12: もしあのエデンが解放軍でないとすればその九年夏は限り無いしまた人懐っこい fact13: 「解放軍である」ものはあるとすると「あの取水口は呼び易くないがしかしそれはフィットネスだ」ということは偽である ; $hypothesis$ = その二癖は敢え無い ; $proof$ = 
fact8 & fact3 -> int1: 「あのエデンはレーザー技術でないが来易い」ということは成り立たない; fact5 -> int2: もし仮に「「あのエデンはレーザー技術でないが来易い」ということは成り立つ」ということは間違っているとすればそれは解放軍だ; int1 & int2 -> int3: 「あのエデンは解放軍である」ということは成り立つ; int3 -> int4: なにかは解放軍だ; int4 & fact13 -> int5: 「あの取水口は呼び易くないけれどそれはフィットネスである」ということは嘘だ; fact7 -> int6: もしも「あの取水口は呼び易くない一方でフィットネスだ」ということは間違っているとしたら限り無くない; int5 & int6 -> int7: あの取水口は限り無くない; int7 & fact9 -> int8: 「その二癖は家職であるけど限り無くない」ということは成り立たない; fact1 -> int9: もしも「その二癖は家職である一方で限り無くない」ということは事実と異なるとしたら敢え無くない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかの物は家職であるが限り無くない」ということは成り立たないならばそれは敢え無くない
事実2: もしも人懐っこくないものは解放軍でないとするとそれは敢え無い
事実3: あのエデンは人懐っこい
事実4: 「あの取水口は来易くないけれど街らしい」ということは嘘だ
事実5: もし「とある物はレーザー技術でない一方で来易い」ということは成り立たないとすれば解放軍だ
事実6: 呼び易い物がフィットネスならそれは解放軍でない
事実7: 仮に「何らかのものは呼び易くない一方でそれはフィットネスだ」ということは成り立たないとするとそれは限り無いということはない
事実8: もしもあのエデンは人懐っこいとすれば「それはレーザー技術でないししかも来易い」ということは偽である
事実9: もしもあの取水口は限り無いということはないならば「その二癖は家職であるがしかし限り無くない」ということは偽だ
事実10: あのエデンは呼び易いしそれに敢え無い
事実11: もしも「あの取水口は来易い一方でそれは解放軍でない」ということは成り立たないとするとフィットネスでない
事実12: もしあのエデンが解放軍でないとすればその九年夏は限り無いしまた人懐っこい
事実13: 「解放軍である」ものはあるとすると「あの取水口は呼び易くないがしかしそれはフィットネスだ」ということは偽である

仮説: その二癖は敢え無い
1. 事実8と事実3から、推論1: "「あのエデンはレーザー技術でないが来易い」ということは成り立たない"が導かれる
2. 事実5から、推論2: "もし仮に「「あのエデンはレーザー技術でないが来易い」ということは成り立つ」ということは間違っているとすればそれは解放軍だ"が導かれる
3. 推論1と推論2から、推論3: "「あのエデンは解放軍である」ということは成り立つ"が導かれる
4. 推論3から、推論4: "なにかは解放軍だ"が導かれる
5. 推論4と事実13から、推論5: "「あの取水口は呼び易くないけれどそれはフィットネスである」ということは嘘だ"が導かれる
6. 事実7から、推論6: "もしも「あの取水口は呼び易くない一方でフィットネスだ」ということは間違っているとしたら限り無くない"が導かれる
7. 推論5と推論6から、推論7: "あの取水口は限り無くない"が導かれる
8. 推論7と事実9から、推論8: "「その二癖は家職であるけど限り無くない」ということは成り立たない"が導かれる
9. 事実1から、推論9: "もしも「その二癖は家職である一方で限り無くない」ということは事実と異なるとしたら敢え無くない"が導かれる
10. 推論8と推論9から、仮説が否定される

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