あの人別は弁当持参である
fact1: もしそのトリガーが星状光彩でないとしたらあの人別はし切れるし更に草だ fact2: もしも何らかの物が希釈でないとすればそれは弁当持参だ fact3: もし仮にあの何発が大喜びしないならそれは二千年初めだ fact4: 「「こそばゆくないけれど大喜びする」ということは誤っている」物はある fact5: このＢパターンは弁当持参である fact6: もしも「「こそばゆいということはない物であり更に大喜びする」ということは成り立たない」ものがあるとするとあの人別は希釈でない fact7: もし「「都市間バスでないが活気付ける」ということは誤っている」ものがあるならあの人別は弁当持参でない fact8: 「こそばゆいということはない一方で大喜びする」ものはある fact9: そのトリガーは合わせ易くないならば「それは出難いしまた星状光彩である」ということは間違いだ fact10: もしも「何らかの物は希釈でないがしかし弁当持参である」ということは成り立たないならそれは弁当持参でない fact11: もし仮にとある物は大喜びしないとすれば「あの人別は希釈でない」ということは成り立つ fact12: 仮に「そのトリガーは出難くて更に星状光彩だ」ということは成り立たないなら星状光彩でない fact13: 仮になにかはリスト作りであるとすれば「希釈でないけれど弁当持参だ」ということは成り立たない fact14: 「「こそばゆいし大喜びする」ということは真実でない」ものはある fact15: もしなにがしかの物はし切れるとしたら「それはリスト作りであるということはない」ということは成り立たない
fact4 & fact6 -> int1: あの人別は希釈でない; fact2 -> int2: もし「あの人別は希釈でない」ということは真実であるとすると弁当持参だ; int1 & int2 -> hypothesis;
あの人別は弁当持参でない
fact18 -> int3: もし仮に「あの人別は希釈でないけれどそれは弁当持参である」ということは成り立たないならそれは弁当持参でない; fact19 -> int4: 「あの人別はリスト作りだ」ということは成り立てば「それは希釈でないし弁当持参だ」ということは嘘である; fact21 -> int5: もしもあの人別がし切れるならリスト作りである;
$facts$ = fact1: もしそのトリガーが星状光彩でないとしたらあの人別はし切れるし更に草だ fact2: もしも何らかの物が希釈でないとすればそれは弁当持参だ fact3: もし仮にあの何発が大喜びしないならそれは二千年初めだ fact4: 「「こそばゆくないけれど大喜びする」ということは誤っている」物はある fact5: このＢパターンは弁当持参である fact6: もしも「「こそばゆいということはない物であり更に大喜びする」ということは成り立たない」ものがあるとするとあの人別は希釈でない fact7: もし「「都市間バスでないが活気付ける」ということは誤っている」ものがあるならあの人別は弁当持参でない fact8: 「こそばゆいということはない一方で大喜びする」ものはある fact9: そのトリガーは合わせ易くないならば「それは出難いしまた星状光彩である」ということは間違いだ fact10: もしも「何らかの物は希釈でないがしかし弁当持参である」ということは成り立たないならそれは弁当持参でない fact11: もし仮にとある物は大喜びしないとすれば「あの人別は希釈でない」ということは成り立つ fact12: 仮に「そのトリガーは出難くて更に星状光彩だ」ということは成り立たないなら星状光彩でない fact13: 仮になにかはリスト作りであるとすれば「希釈でないけれど弁当持参だ」ということは成り立たない fact14: 「「こそばゆいし大喜びする」ということは真実でない」ものはある fact15: もしなにがしかの物はし切れるとしたら「それはリスト作りであるということはない」ということは成り立たない ; $hypothesis$ = あの人別は弁当持参である ; $proof$ = 
fact4 & fact6 -> int1: あの人別は希釈でない; fact2 -> int2: もし「あの人別は希釈でない」ということは真実であるとすると弁当持参だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしそのトリガーが星状光彩でないとしたらあの人別はし切れるし更に草だ
事実2: もしも何らかの物が希釈でないとすればそれは弁当持参だ
事実3: もし仮にあの何発が大喜びしないならそれは二千年初めだ
事実4: 「「こそばゆくないけれど大喜びする」ということは誤っている」物はある
事実5: このＢパターンは弁当持参である
事実6: もしも「「こそばゆいということはない物であり更に大喜びする」ということは成り立たない」ものがあるとするとあの人別は希釈でない
事実7: もし「「都市間バスでないが活気付ける」ということは誤っている」ものがあるならあの人別は弁当持参でない
事実8: 「こそばゆいということはない一方で大喜びする」ものはある
事実9: そのトリガーは合わせ易くないならば「それは出難いしまた星状光彩である」ということは間違いだ
事実10: もしも「何らかの物は希釈でないがしかし弁当持参である」ということは成り立たないならそれは弁当持参でない
事実11: もし仮にとある物は大喜びしないとすれば「あの人別は希釈でない」ということは成り立つ
事実12: 仮に「そのトリガーは出難くて更に星状光彩だ」ということは成り立たないなら星状光彩でない
事実13: 仮になにかはリスト作りであるとすれば「希釈でないけれど弁当持参だ」ということは成り立たない
事実14: 「「こそばゆいし大喜びする」ということは真実でない」ものはある
事実15: もしなにがしかの物はし切れるとしたら「それはリスト作りであるということはない」ということは成り立たない

仮説: あの人別は弁当持参である
1. 事実4と事実6から、推論1: "あの人別は希釈でない"が導かれる
2. 事実2から、推論2: "もし「あの人別は希釈でない」ということは真実であるとすると弁当持参だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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