あのイラク攻撃は負担金だ
fact1: もしあの芸術文化は消化し易いとしたら「抗弁するがしかし味気ないということはない」ということは成り立たない fact2: 「女の子らしいものは何時だ」ということは成り立つ fact3: もし仮にある物は何時だとしたら「それは赤っぽくない」ということは成り立たない fact4: もし仮にこのインデザインが何時であるならばあの芸術文化は何時だ fact5: もし仮にその村雨丸が負担金ならあの洞爺湖温泉郷は負担金だ fact6: もしあるものが赤っぽいならば消化し易い fact7: 仮にあの芸術文化は割譲しないなら「その村雨丸は招き易い一方で御でない」ということは事実と異なる fact8: 消化し易くないものは味気ないかあるいは抗弁しない fact9: このインデザインは御だ fact10: もしもあのイラク攻撃が負担金だということはないとすれば予測し易くないし十Ｂでない fact11: なにがしかのものが予測し易くないけれど十Ｂならあの洞爺湖温泉郷は抗弁しない fact12: もし「あの芸術文化は応対するがそれは持ち難いということはない」ということは成り立たないなら割譲しない fact13: このクニクリ感染は不良率でなくてそれは降り懸からない fact14: あの洞爺湖温泉郷は抗弁する fact15: 仮にあの洞爺湖温泉郷が負担金だとすればあのイラク攻撃は遠くないしその上それは視診しない fact16: このインデザインは御であるとすれば「それは女の子らしい」ということは確かだ fact17: もしも「その村雨丸は招き易いがしかし御でない」ということは真実でないとしたらあの洞爺湖温泉郷は女の子らしくない fact18: もし仮になにかは予測し易いけれど十Ｂでないならあの洞爺湖温泉郷は抗弁しない fact19: 仮に何かは何時でないかそれは赤っぽくないか両方だとしたら「消化し易くない」ということは成り立つ fact20: もし仮にあの洞爺湖温泉郷が女の子らしくないならばあのイラク攻撃は何時でないかまたはそれは赤っぽいということはないかまたは両方だ fact21: あのイラク攻撃は抗弁するということはない fact22: もし予測し易くないものが十Ｂでないならあの洞爺湖温泉郷は抗弁しない
void -> assump1: 以下のように仮定する。あのイラク攻撃は負担金でない; fact10 & assump1 -> int1: あのイラク攻撃は予測し易くないしかつ十Ｂでない; int1 -> int2: とあるものは予測し易くないしかつ十Ｂでない; int2 & fact22 -> int3: あの洞爺湖温泉郷は抗弁しない; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
とある物は遠いということはないしその上視診するということはない
fact25 -> int5: もしもあの芸術文化が赤っぽいなら消化し易い; fact26 -> int6: もしもあの芸術文化は何時であるならばそれは赤っぽい; fact31 -> int7: このインデザインは女の子らしいなら「それは何時だ」ということは真実である; fact29 & fact28 -> int8: このインデザインは女の子らしい; int7 & int8 -> int9: このインデザインは何時である; fact27 & int9 -> int10: あの芸術文化は何時である; int6 & int10 -> int11: あの芸術文化は赤っぽい; int5 & int11 -> int12: あの芸術文化は消化し易い; fact24 & int12 -> int13: 「あの芸術文化は抗弁するけど味気なくない」ということは誤りだ; int13 -> int14: 「「抗弁するしその上味気なくない」ということは事実でない」物はある;
$facts$ = fact1: もしあの芸術文化は消化し易いとしたら「抗弁するがしかし味気ないということはない」ということは成り立たない fact2: 「女の子らしいものは何時だ」ということは成り立つ fact3: もし仮にある物は何時だとしたら「それは赤っぽくない」ということは成り立たない fact4: もし仮にこのインデザインが何時であるならばあの芸術文化は何時だ fact5: もし仮にその村雨丸が負担金ならあの洞爺湖温泉郷は負担金だ fact6: もしあるものが赤っぽいならば消化し易い fact7: 仮にあの芸術文化は割譲しないなら「その村雨丸は招き易い一方で御でない」ということは事実と異なる fact8: 消化し易くないものは味気ないかあるいは抗弁しない fact9: このインデザインは御だ fact10: もしもあのイラク攻撃が負担金だということはないとすれば予測し易くないし十Ｂでない fact11: なにがしかのものが予測し易くないけれど十Ｂならあの洞爺湖温泉郷は抗弁しない fact12: もし「あの芸術文化は応対するがそれは持ち難いということはない」ということは成り立たないなら割譲しない fact13: このクニクリ感染は不良率でなくてそれは降り懸からない fact14: あの洞爺湖温泉郷は抗弁する fact15: 仮にあの洞爺湖温泉郷が負担金だとすればあのイラク攻撃は遠くないしその上それは視診しない fact16: このインデザインは御であるとすれば「それは女の子らしい」ということは確かだ fact17: もしも「その村雨丸は招き易いがしかし御でない」ということは真実でないとしたらあの洞爺湖温泉郷は女の子らしくない fact18: もし仮になにかは予測し易いけれど十Ｂでないならあの洞爺湖温泉郷は抗弁しない fact19: 仮に何かは何時でないかそれは赤っぽくないか両方だとしたら「消化し易くない」ということは成り立つ fact20: もし仮にあの洞爺湖温泉郷が女の子らしくないならばあのイラク攻撃は何時でないかまたはそれは赤っぽいということはないかまたは両方だ fact21: あのイラク攻撃は抗弁するということはない fact22: もし予測し易くないものが十Ｂでないならあの洞爺湖温泉郷は抗弁しない ; $hypothesis$ = あのイラク攻撃は負担金だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのイラク攻撃は負担金でない; fact10 & assump1 -> int1: あのイラク攻撃は予測し易くないしかつ十Ｂでない; int1 -> int2: とあるものは予測し易くないしかつ十Ｂでない; int2 & fact22 -> int3: あの洞爺湖温泉郷は抗弁しない; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしあの芸術文化は消化し易いとしたら「抗弁するがしかし味気ないということはない」ということは成り立たない
事実2: 「女の子らしいものは何時だ」ということは成り立つ
事実3: もし仮にある物は何時だとしたら「それは赤っぽくない」ということは成り立たない
事実4: もし仮にこのインデザインが何時であるならばあの芸術文化は何時だ
事実5: もし仮にその村雨丸が負担金ならあの洞爺湖温泉郷は負担金だ
事実6: もしあるものが赤っぽいならば消化し易い
事実7: 仮にあの芸術文化は割譲しないなら「その村雨丸は招き易い一方で御でない」ということは事実と異なる
事実8: 消化し易くないものは味気ないかあるいは抗弁しない
事実9: このインデザインは御だ
事実10: もしもあのイラク攻撃が負担金だということはないとすれば予測し易くないし十Ｂでない
事実11: なにがしかのものが予測し易くないけれど十Ｂならあの洞爺湖温泉郷は抗弁しない
事実12: もし「あの芸術文化は応対するがそれは持ち難いということはない」ということは成り立たないなら割譲しない
事実13: このクニクリ感染は不良率でなくてそれは降り懸からない
事実14: あの洞爺湖温泉郷は抗弁する
事実15: 仮にあの洞爺湖温泉郷が負担金だとすればあのイラク攻撃は遠くないしその上それは視診しない
事実16: このインデザインは御であるとすれば「それは女の子らしい」ということは確かだ
事実17: もしも「その村雨丸は招き易いがしかし御でない」ということは真実でないとしたらあの洞爺湖温泉郷は女の子らしくない
事実18: もし仮になにかは予測し易いけれど十Ｂでないならあの洞爺湖温泉郷は抗弁しない
事実19: 仮に何かは何時でないかそれは赤っぽくないか両方だとしたら「消化し易くない」ということは成り立つ
事実20: もし仮にあの洞爺湖温泉郷が女の子らしくないならばあのイラク攻撃は何時でないかまたはそれは赤っぽいということはないかまたは両方だ
事実21: あのイラク攻撃は抗弁するということはない
事実22: もし予測し易くないものが十Ｂでないならあの洞爺湖温泉郷は抗弁しない

仮説: あのイラク攻撃は負担金だ
1. 仮定1: 以下のように仮定する。あのイラク攻撃は負担金でない
2. 事実10と仮定1から、推論1: "あのイラク攻撃は予測し易くないしかつ十Ｂでない"が導かれる
3. 推論1から、推論2: "とあるものは予測し易くないしかつ十Ｂでない"が導かれる
4. 推論2と事実22から、推論3: "あの洞爺湖温泉郷は抗弁しない"が導かれる
5. 推論3と事実14から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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