あのＡＩＤＳ対策は忠実忠実しい
fact1: あのＡＩＤＳ対策は再提出する fact2: 心置き無いものはノースリーブである fact3: もしもなにがしかの物が再提出するしおまけに忠実忠実しいとすると色差でない fact4: もしもなにがしかの物が再提出するということはないしそれは色差でないならそれは忠実忠実しい fact5: もしこの金回りは成功し続けないとすれば「そのエスニック・アイデンティティは煽り立てないかもしくは色差であるか両方である」ということは成り立たない fact6: もし仮にその豚小屋は忠実忠実しいとしたら「あのＡＩＤＳ対策は再提出しないかあるいは色差でないか両方ともである」ということは成り立たない fact7: あのＡＩＤＳ対策は成功し続けない fact8: なんらかのものが煽り立てるとしたら色差だ fact9: もしもとある物はノースリーブならば「あの配合禁忌は成功し続けるしその上円錐だ」ということは間違いである fact10: あの平均成長率は再提出する fact11: もしも「そのエスニック・アイデンティティは煽り立てないかあるいはそれは色差であるかあるいはどちらもだ」ということは嘘ならば「その豚小屋は色差でない」ということは成り立つ fact12: もし仮に「あのＡＩＤＳ対策は再提出しないかまたは色差でないかあるいは両方ともである」ということは事実と異なるならその株価アラートは再提出しない fact13: とある物は生き易くない fact14: もしも生き易くないものがあるならこの領国体制は心置き無いし表現す fact15: あのＡＩＤＳ対策は成功し続けないならば「それは煽り立てる」ということは確かだ fact16: もしその豚小屋が色差でないとすればあのＡＩＤＳ対策は忠実忠実しいし再提出する fact17: その全米各地は公開するしかつ忠実忠実しい
void -> assump1: 以下のように仮定する。あのＡＩＤＳ対策は忠実忠実しい; fact1 & assump1 -> int1: あのＡＩＤＳ対策は再提出するしその上忠実忠実しい; fact3 -> int2: 仮にあのＡＩＤＳ対策が再提出するし忠実忠実しいとするとそれは色差でない; int1 & int2 -> int3: あのＡＩＤＳ対策は色差でない; fact8 -> int4: あのＡＩＤＳ対策が煽り立てるとすればそれは色差である; fact15 & fact7 -> int5: あのＡＩＤＳ対策は煽り立てる; int4 & int5 -> int6: あのＡＩＤＳ対策は色差である; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あのＡＩＤＳ対策は忠実忠実しい
fact21 -> int8: もしこの領国体制が心置き無いとすればノースリーブである; fact23 & fact19 -> int9: この領国体制は心置き無くて表現す; int9 -> int10: この領国体制は心置き無い; int8 & int10 -> int11: この領国体制はノースリーブだ; int11 -> int12: なにかはノースリーブである; int12 & fact22 -> int13: 「あの配合禁忌は成功し続けるし円錐である」ということは間違いである; int13 -> int14: 「「成功し続けるし円錐だ」ということは嘘な」ものはある;
$facts$ = fact1: あのＡＩＤＳ対策は再提出する fact2: 心置き無いものはノースリーブである fact3: もしもなにがしかの物が再提出するしおまけに忠実忠実しいとすると色差でない fact4: もしもなにがしかの物が再提出するということはないしそれは色差でないならそれは忠実忠実しい fact5: もしこの金回りは成功し続けないとすれば「そのエスニック・アイデンティティは煽り立てないかもしくは色差であるか両方である」ということは成り立たない fact6: もし仮にその豚小屋は忠実忠実しいとしたら「あのＡＩＤＳ対策は再提出しないかあるいは色差でないか両方ともである」ということは成り立たない fact7: あのＡＩＤＳ対策は成功し続けない fact8: なんらかのものが煽り立てるとしたら色差だ fact9: もしもとある物はノースリーブならば「あの配合禁忌は成功し続けるしその上円錐だ」ということは間違いである fact10: あの平均成長率は再提出する fact11: もしも「そのエスニック・アイデンティティは煽り立てないかあるいはそれは色差であるかあるいはどちらもだ」ということは嘘ならば「その豚小屋は色差でない」ということは成り立つ fact12: もし仮に「あのＡＩＤＳ対策は再提出しないかまたは色差でないかあるいは両方ともである」ということは事実と異なるならその株価アラートは再提出しない fact13: とある物は生き易くない fact14: もしも生き易くないものがあるならこの領国体制は心置き無いし表現す fact15: あのＡＩＤＳ対策は成功し続けないならば「それは煽り立てる」ということは確かだ fact16: もしその豚小屋が色差でないとすればあのＡＩＤＳ対策は忠実忠実しいし再提出する fact17: その全米各地は公開するしかつ忠実忠実しい ; $hypothesis$ = あのＡＩＤＳ対策は忠実忠実しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＡＩＤＳ対策は忠実忠実しい; fact1 & assump1 -> int1: あのＡＩＤＳ対策は再提出するしその上忠実忠実しい; fact3 -> int2: 仮にあのＡＩＤＳ対策が再提出するし忠実忠実しいとするとそれは色差でない; int1 & int2 -> int3: あのＡＩＤＳ対策は色差でない; fact8 -> int4: あのＡＩＤＳ対策が煽り立てるとすればそれは色差である; fact15 & fact7 -> int5: あのＡＩＤＳ対策は煽り立てる; int4 & int5 -> int6: あのＡＩＤＳ対策は色差である; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: あのＡＩＤＳ対策は再提出する
事実2: 心置き無いものはノースリーブである
事実3: もしもなにがしかの物が再提出するしおまけに忠実忠実しいとすると色差でない
事実4: もしもなにがしかの物が再提出するということはないしそれは色差でないならそれは忠実忠実しい
事実5: もしこの金回りは成功し続けないとすれば「そのエスニック・アイデンティティは煽り立てないかもしくは色差であるか両方である」ということは成り立たない
事実6: もし仮にその豚小屋は忠実忠実しいとしたら「あのＡＩＤＳ対策は再提出しないかあるいは色差でないか両方ともである」ということは成り立たない
事実7: あのＡＩＤＳ対策は成功し続けない
事実8: なんらかのものが煽り立てるとしたら色差だ
事実9: もしもとある物はノースリーブならば「あの配合禁忌は成功し続けるしその上円錐だ」ということは間違いである
事実10: あの平均成長率は再提出する
事実11: もしも「そのエスニック・アイデンティティは煽り立てないかあるいはそれは色差であるかあるいはどちらもだ」ということは嘘ならば「その豚小屋は色差でない」ということは成り立つ
事実12: もし仮に「あのＡＩＤＳ対策は再提出しないかまたは色差でないかあるいは両方ともである」ということは事実と異なるならその株価アラートは再提出しない
事実13: とある物は生き易くない
事実14: もしも生き易くないものがあるならこの領国体制は心置き無いし表現す
事実15: あのＡＩＤＳ対策は成功し続けないならば「それは煽り立てる」ということは確かだ
事実16: もしその豚小屋が色差でないとすればあのＡＩＤＳ対策は忠実忠実しいし再提出する
事実17: その全米各地は公開するしかつ忠実忠実しい

仮説: あのＡＩＤＳ対策は忠実忠実しい
1. 仮定1: 以下のように仮定する。あのＡＩＤＳ対策は忠実忠実しい
2. 事実1と仮定1から、推論1: "あのＡＩＤＳ対策は再提出するしその上忠実忠実しい"が導かれる
3. 事実3から、推論2: "仮にあのＡＩＤＳ対策が再提出するし忠実忠実しいとするとそれは色差でない"が導かれる
4. 推論1と推論2から、推論3: "あのＡＩＤＳ対策は色差でない"が導かれる
5. 事実8から、推論4: "あのＡＩＤＳ対策が煽り立てるとすればそれは色差である"が導かれる
6. 事実15と事実7から、推論5: "あのＡＩＤＳ対策は煽り立てる"が導かれる
7. 推論4と推論5から、推論6: "あのＡＩＤＳ対策は色差である"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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