「あのスーパースターが可決しないならばあのスーパースターは愛ししまた止む無し」ということは偽である
fact1: もしも何らかの物が如何わしいということはないとするとそれは食らい付かない fact2: この労使間は保健教育であるがしかし角地でない fact3: もしあのスーパースターが愛しないしそれが温室であるということはないとすればあの思案中は愛し fact4: もしもあのスーパースターが可決するとすればそれは愛ししおまけに止む無し fact5: 「この伯父様は角地だ」ということは成り立つならあのスーパースターは角地だ fact6: その僧院は分譲するがしかし巡り巡るということはない fact7: もしも「この伯父様は温室であるがしかしそれは止む無くない」ということは成り立たないとすると温室でない fact8: あの諸因子は男の子らしいし飲み難い fact9: 仮にその三倍以上は第三者評価機関であるならばそれは劇作家達だ fact10: もしあのスーパースターは角地であるなら一大国だ fact11: あのスーパースターは温室でしかも角地である fact12: もし仮にこの伯父様が温室でないとすればあのスーパースターは温室でない fact13: もし仮にあのスーパースターが一大国であるしそれにそれが可決するとすると止む無し fact14: この伯父様は直結する fact15: もしもあのスーパースターが温室でないとすればそれは分葱であるし最大化だ fact16: 仮にこの伯父様が一大国でないとすればそれが可決するしその上それは愛し fact17: もし「この伯父様は愛し」ということは事実であるならばあのスーパースターは愛し fact18: あの日本茶は温室であるしさらにそれは追跡出来る fact19: もし仮にあのスーパースターは一大国であるけれど可決しないとしたら止む無し fact20: 「あのスーパースターは温室である」ということは成り立つ fact21: あるものが食らい付くならこの伯父様は愛し fact22: あの鶏手羽先は可決するとすれば「この伯父様は温室だけど止む無しということはない」ということは成り立たない fact23: 「食らい付く」物はある fact24: 「「劇作家達であるかにやにやしない」ということは間違いな」ものはある fact25: もしあのスーパースターが食らい付かないとすると角地で一大国である
fact11 -> int1: あのスーパースターは角地だ; int1 & fact10 -> int2: あのスーパースターは一大国だ; void -> assump1: 以下のように仮定する。あのスーパースターは可決しない; int2 & assump1 -> int3: あのスーパースターは一大国だがそれは可決しない; int3 & fact19 -> int4: あのスーパースターは止む無し; fact21 & fact23 -> int5: この伯父様は愛し; fact17 & int5 -> int6: あのスーパースターは愛し; int4 & int6 -> int7: あのスーパースターは愛しし止む無し; [assump1] & int7 -> hypothesis;
あの思案中は愛し
fact29 -> int8: もし仮に「あのスーパースターは如何わしいということはない」ということは事実ならばそれは食らい付かない;
$facts$ = fact1: もしも何らかの物が如何わしいということはないとするとそれは食らい付かない fact2: この労使間は保健教育であるがしかし角地でない fact3: もしあのスーパースターが愛しないしそれが温室であるということはないとすればあの思案中は愛し fact4: もしもあのスーパースターが可決するとすればそれは愛ししおまけに止む無し fact5: 「この伯父様は角地だ」ということは成り立つならあのスーパースターは角地だ fact6: その僧院は分譲するがしかし巡り巡るということはない fact7: もしも「この伯父様は温室であるがしかしそれは止む無くない」ということは成り立たないとすると温室でない fact8: あの諸因子は男の子らしいし飲み難い fact9: 仮にその三倍以上は第三者評価機関であるならばそれは劇作家達だ fact10: もしあのスーパースターは角地であるなら一大国だ fact11: あのスーパースターは温室でしかも角地である fact12: もし仮にこの伯父様が温室でないとすればあのスーパースターは温室でない fact13: もし仮にあのスーパースターが一大国であるしそれにそれが可決するとすると止む無し fact14: この伯父様は直結する fact15: もしもあのスーパースターが温室でないとすればそれは分葱であるし最大化だ fact16: 仮にこの伯父様が一大国でないとすればそれが可決するしその上それは愛し fact17: もし「この伯父様は愛し」ということは事実であるならばあのスーパースターは愛し fact18: あの日本茶は温室であるしさらにそれは追跡出来る fact19: もし仮にあのスーパースターは一大国であるけれど可決しないとしたら止む無し fact20: 「あのスーパースターは温室である」ということは成り立つ fact21: あるものが食らい付くならこの伯父様は愛し fact22: あの鶏手羽先は可決するとすれば「この伯父様は温室だけど止む無しということはない」ということは成り立たない fact23: 「食らい付く」物はある fact24: 「「劇作家達であるかにやにやしない」ということは間違いな」ものはある fact25: もしあのスーパースターが食らい付かないとすると角地で一大国である ; $hypothesis$ = 「あのスーパースターが可決しないならばあのスーパースターは愛ししまた止む無し」ということは偽である ; $proof$ = 
fact11 -> int1: あのスーパースターは角地だ; int1 & fact10 -> int2: あのスーパースターは一大国だ; void -> assump1: 以下のように仮定する。あのスーパースターは可決しない; int2 & assump1 -> int3: あのスーパースターは一大国だがそれは可決しない; int3 & fact19 -> int4: あのスーパースターは止む無し; fact21 & fact23 -> int5: この伯父様は愛し; fact17 & int5 -> int6: あのスーパースターは愛し; int4 & int6 -> int7: あのスーパースターは愛しし止む無し; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が如何わしいということはないとするとそれは食らい付かない
事実2: この労使間は保健教育であるがしかし角地でない
事実3: もしあのスーパースターが愛しないしそれが温室であるということはないとすればあの思案中は愛し
事実4: もしもあのスーパースターが可決するとすればそれは愛ししおまけに止む無し
事実5: 「この伯父様は角地だ」ということは成り立つならあのスーパースターは角地だ
事実6: その僧院は分譲するがしかし巡り巡るということはない
事実7: もしも「この伯父様は温室であるがしかしそれは止む無くない」ということは成り立たないとすると温室でない
事実8: あの諸因子は男の子らしいし飲み難い
事実9: 仮にその三倍以上は第三者評価機関であるならばそれは劇作家達だ
事実10: もしあのスーパースターは角地であるなら一大国だ
事実11: あのスーパースターは温室でしかも角地である
事実12: もし仮にこの伯父様が温室でないとすればあのスーパースターは温室でない
事実13: もし仮にあのスーパースターが一大国であるしそれにそれが可決するとすると止む無し
事実14: この伯父様は直結する
事実15: もしもあのスーパースターが温室でないとすればそれは分葱であるし最大化だ
事実16: 仮にこの伯父様が一大国でないとすればそれが可決するしその上それは愛し
事実17: もし「この伯父様は愛し」ということは事実であるならばあのスーパースターは愛し
事実18: あの日本茶は温室であるしさらにそれは追跡出来る
事実19: もし仮にあのスーパースターは一大国であるけれど可決しないとしたら止む無し
事実20: 「あのスーパースターは温室である」ということは成り立つ
事実21: あるものが食らい付くならこの伯父様は愛し
事実22: あの鶏手羽先は可決するとすれば「この伯父様は温室だけど止む無しということはない」ということは成り立たない
事実23: 「食らい付く」物はある
事実24: 「「劇作家達であるかにやにやしない」ということは間違いな」ものはある
事実25: もしあのスーパースターが食らい付かないとすると角地で一大国である

仮説: 「あのスーパースターが可決しないならばあのスーパースターは愛ししまた止む無し」ということは偽である
1. 事実11から、推論1: "あのスーパースターは角地だ"が導かれる
2. 推論1と事実10から、推論2: "あのスーパースターは一大国だ"が導かれる
3. 仮定1: 以下のように仮定する。あのスーパースターは可決しない
4. 推論2と仮定1から、推論3: "あのスーパースターは一大国だがそれは可決しない"が導かれる
5. 推論3と事実19から、推論4: "あのスーパースターは止む無し"が導かれる
6. 事実21と事実23から、推論5: "この伯父様は愛し"が導かれる
7. 事実17と推論5から、推論6: "あのスーパースターは愛し"が導かれる
8. 推論4と推論6から、推論7: "あのスーパースターは愛しし止む無し"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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