「もし仮にもぎ取るとすると左である」物はある
fact1: その丼は左でない fact2: あの向日葵組は付着し易い fact3: なんらかのものが湯通ししないとしたらそれはもぎ取るし打ち難い fact4: あの向日葵組は左であるということはないならそれはもぎ取らない fact5: もしも「とあるものは却下するし更に貸し手である」ということは成り立たないとすると湯通ししない fact6: この腹部外傷はもぎ取る fact7: あのＩＧＥは仲裁手続きだということはない fact8: もしその勝興寺が御招きするということはないとすればそれは建設国債だということはない fact9: 「あの向日葵組は左であるということはない」ということは正しいとしたらもぎ取る fact10: もしも「あの向日葵組は重要視するということはない」ということは確かであるとしたら「それはもぎ取らない」ということは事実である fact11: もし仮にあの向日葵組が左でないかそれが起き上がるということはないかまたは両方ともであるならあの干物は左でない fact12: もし仮にあの向日葵組が着陸しないとすれば撫で消さない fact13: 「もし付着し易いならば「ブランドらしい」ということは真実である」物はある fact14: その自家撞着は左でない fact15: あの向日葵組は根差す fact16: 仮になにかはもぎ取るならそれは左でないかもしくはそれは起き上がらない fact17: それは却下するしそれは貸し手だというものはない fact18: あの向日葵組は夫婦する fact19: あの向日葵組は肉体関係でない fact20: その勝興寺は保ち易い
void -> assump1: 以下のように仮定する。あの向日葵組は左でない; fact4 & assump1 -> int1: あの向日葵組はもぎ取らない; void -> assump2: 以下のように仮定する。あの向日葵組はもぎ取る; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの向日葵組は左だ; [assump2] & int3 -> int4: あの向日葵組はもぎ取るとすると「左である」ということは正しい; int4 -> hypothesis;
あの干物は左でない
fact22 -> int5: この表示メニューがもぎ取るなら左だということはないかまたは起き上がらないか両方である; fact24 -> int6: この表示メニューが湯通ししないとしたらもぎ取るしさらに打ち難い; fact21 -> int7: もし「この表示メニューは却下するし更に貸し手である」ということは成り立たないとすると湯通しするということはない; fact25 -> int8: 「この表示メニューは却下するしそれに貸し手である」ということは誤っている; int7 & int8 -> int9: この表示メニューは湯通ししない; int6 & int9 -> int10: この表示メニューはもぎ取るしさらにそれは打ち難い; int10 -> int11: 「この表示メニューはもぎ取る」ということは成り立つ; int5 & int11 -> int12: この表示メニューは左でないかまたは起き上がらないかあるいは両方ともである; int12 -> int13: 何もかもは左でないかそれは起き上がるということはないかあるいは両方だ; int13 -> int14: あの向日葵組は左でないかもしくは起き上がらないかまたは両方だ; fact23 & int14 -> hypothesis;
$facts$ = fact1: その丼は左でない fact2: あの向日葵組は付着し易い fact3: なんらかのものが湯通ししないとしたらそれはもぎ取るし打ち難い fact4: あの向日葵組は左であるということはないならそれはもぎ取らない fact5: もしも「とあるものは却下するし更に貸し手である」ということは成り立たないとすると湯通ししない fact6: この腹部外傷はもぎ取る fact7: あのＩＧＥは仲裁手続きだということはない fact8: もしその勝興寺が御招きするということはないとすればそれは建設国債だということはない fact9: 「あの向日葵組は左であるということはない」ということは正しいとしたらもぎ取る fact10: もしも「あの向日葵組は重要視するということはない」ということは確かであるとしたら「それはもぎ取らない」ということは事実である fact11: もし仮にあの向日葵組が左でないかそれが起き上がるということはないかまたは両方ともであるならあの干物は左でない fact12: もし仮にあの向日葵組が着陸しないとすれば撫で消さない fact13: 「もし付着し易いならば「ブランドらしい」ということは真実である」物はある fact14: その自家撞着は左でない fact15: あの向日葵組は根差す fact16: 仮になにかはもぎ取るならそれは左でないかもしくはそれは起き上がらない fact17: それは却下するしそれは貸し手だというものはない fact18: あの向日葵組は夫婦する fact19: あの向日葵組は肉体関係でない fact20: その勝興寺は保ち易い ; $hypothesis$ = 「もし仮にもぎ取るとすると左である」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの向日葵組は左でない; fact4 & assump1 -> int1: あの向日葵組はもぎ取らない; void -> assump2: 以下のように仮定する。あの向日葵組はもぎ取る; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの向日葵組は左だ; [assump2] & int3 -> int4: あの向日葵組はもぎ取るとすると「左である」ということは正しい; int4 -> hypothesis; __PROVED__
事実1: その丼は左でない
事実2: あの向日葵組は付着し易い
事実3: なんらかのものが湯通ししないとしたらそれはもぎ取るし打ち難い
事実4: あの向日葵組は左であるということはないならそれはもぎ取らない
事実5: もしも「とあるものは却下するし更に貸し手である」ということは成り立たないとすると湯通ししない
事実6: この腹部外傷はもぎ取る
事実7: あのＩＧＥは仲裁手続きだということはない
事実8: もしその勝興寺が御招きするということはないとすればそれは建設国債だということはない
事実9: 「あの向日葵組は左であるということはない」ということは正しいとしたらもぎ取る
事実10: もしも「あの向日葵組は重要視するということはない」ということは確かであるとしたら「それはもぎ取らない」ということは事実である
事実11: もし仮にあの向日葵組が左でないかそれが起き上がるということはないかまたは両方ともであるならあの干物は左でない
事実12: もし仮にあの向日葵組が着陸しないとすれば撫で消さない
事実13: 「もし付着し易いならば「ブランドらしい」ということは真実である」物はある
事実14: その自家撞着は左でない
事実15: あの向日葵組は根差す
事実16: 仮になにかはもぎ取るならそれは左でないかもしくはそれは起き上がらない
事実17: それは却下するしそれは貸し手だというものはない
事実18: あの向日葵組は夫婦する
事実19: あの向日葵組は肉体関係でない
事実20: その勝興寺は保ち易い

仮説: 「もし仮にもぎ取るとすると左である」物はある
1. 仮定1: 以下のように仮定する。あの向日葵組は左でない
2. 事実4と仮定1から、推論1: "あの向日葵組はもぎ取らない"が導かれる
3. 仮定2: 以下のように仮定する。あの向日葵組はもぎ取る
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの向日葵組は左だ"が導かれる
6. [仮定2]と推論3から、推論4: "あの向日葵組はもぎ取るとすると「左である」ということは正しい"が導かれる
7. 推論4から、仮説が導かれる

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