その七千年前は快くない
fact1: この屁えこき虫は快くない fact2: もし「その想像外はショッピングである」ということは成り立つとしたらこの屁えこき虫は言い交わす fact3: 「その七千年前は快くなくて感じ易くない」ということは間違いである fact4: この屁えこき虫は迷惑がる fact5: もしも「その想像外は感じ易くなくて言い交わすということはない」ということは間違っているとしたらこの屁えこき虫は迷惑がる fact6: そのプリンターは迷惑がるし潔し fact7: もし仮に「その想像外は迷惑がるということはないしかつショッピングでない」ということは真実でないとしたらこの屁えこき虫は言い交わす fact8: 「その想像外は迷惑がらないしそれにショッピングでない」ということは偽だ fact9: 「この屁えこき虫はショッピングでないけれど言い交わす」ということは成り立たない fact10: 「その七千年前はショッピングであるがしかし快くない」ということは誤っている fact11: この屁えこき虫が感じ易いし言い交わすとしたらその七千年前は快くない fact12: この屁えこき虫は感じ易い fact13: もし仮に「この屁えこき虫はショッピングでなくてそれは感じ易くない」ということは事実と異なるとしたらその想像外は言い交わす
fact7 & fact8 -> int1: この屁えこき虫は言い交わす; int1 & fact12 -> int2: この屁えこき虫は感じ易いしその上言い交わす; int2 & fact11 -> hypothesis;
fact7 & fact8 -> int1: {B}{b}; int1 & fact12 -> int2: ({A}{b} & {B}{b}); int2 & fact11 -> hypothesis;
$facts$ = fact1: この屁えこき虫は快くない fact2: もし「その想像外はショッピングである」ということは成り立つとしたらこの屁えこき虫は言い交わす fact3: 「その七千年前は快くなくて感じ易くない」ということは間違いである fact4: この屁えこき虫は迷惑がる fact5: もしも「その想像外は感じ易くなくて言い交わすということはない」ということは間違っているとしたらこの屁えこき虫は迷惑がる fact6: そのプリンターは迷惑がるし潔し fact7: もし仮に「その想像外は迷惑がるということはないしかつショッピングでない」ということは真実でないとしたらこの屁えこき虫は言い交わす fact8: 「その想像外は迷惑がらないしそれにショッピングでない」ということは偽だ fact9: 「この屁えこき虫はショッピングでないけれど言い交わす」ということは成り立たない fact10: 「その七千年前はショッピングであるがしかし快くない」ということは誤っている fact11: この屁えこき虫が感じ易いし言い交わすとしたらその七千年前は快くない fact12: この屁えこき虫は感じ易い fact13: もし仮に「この屁えこき虫はショッピングでなくてそれは感じ易くない」ということは事実と異なるとしたらその想像外は言い交わす ; $hypothesis$ = その七千年前は快くない ; $proof$ = 
fact7 & fact8 -> int1: この屁えこき虫は言い交わす; int1 & fact12 -> int2: この屁えこき虫は感じ易いしその上言い交わす; int2 & fact11 -> hypothesis; __PROVED__
事実1: この屁えこき虫は快くない
事実2: もし「その想像外はショッピングである」ということは成り立つとしたらこの屁えこき虫は言い交わす
事実3: 「その七千年前は快くなくて感じ易くない」ということは間違いである
事実4: この屁えこき虫は迷惑がる
事実5: もしも「その想像外は感じ易くなくて言い交わすということはない」ということは間違っているとしたらこの屁えこき虫は迷惑がる
事実6: そのプリンターは迷惑がるし潔し
事実7: もし仮に「その想像外は迷惑がるということはないしかつショッピングでない」ということは真実でないとしたらこの屁えこき虫は言い交わす
事実8: 「その想像外は迷惑がらないしそれにショッピングでない」ということは偽だ
事実9: 「この屁えこき虫はショッピングでないけれど言い交わす」ということは成り立たない
事実10: 「その七千年前はショッピングであるがしかし快くない」ということは誤っている
事実11: この屁えこき虫が感じ易いし言い交わすとしたらその七千年前は快くない
事実12: この屁えこき虫は感じ易い
事実13: もし仮に「この屁えこき虫はショッピングでなくてそれは感じ易くない」ということは事実と異なるとしたらその想像外は言い交わす

仮説: その七千年前は快くない
1. 事実7と事実8から、推論1: "この屁えこき虫は言い交わす"が導かれる
2. 推論1と事実12から、推論2: "この屁えこき虫は感じ易いしその上言い交わす"が導かれる
3. 推論2と事実11から、仮説が導かれる

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