「あのファミリーフレンドリー得点は社長様だということはないかあるいはそれは留守番するかまたは両方ともである」ということは成り立たない
fact1: もしもこの辛酸が作文するとしたらあのファミリーフレンドリー得点は作文する fact2: もしなにがしかのものは分類基準ならば「それは社長様でないかもしくはそれは留守番するか両方ともだ」ということは成り立たない fact3: 「仮に「この辛酸は社長様でないかまたは留守番するかまたは両方である」ということは事実と異なるとするとこの辛酸は作文するということはない」ということは成り立つ fact4: この辛酸は留守番する fact5: 仮にあのファミリーフレンドリー得点が留守番するとするとこの辛酸は留守番する fact6: この広東貿易制度は社長様である fact7: もし仮に「あのファミリーフレンドリー得点は社長様であるということはないか留守番するかまたはどちらもである」ということは成り立たないならそれは作文しない fact8: あのファミリーフレンドリー得点は熱い fact9: もし「あの眠り薬は登録出来ないかもしくは社長様であるか両方ともだ」ということは偽であるとすれば黙りこくらない fact10: この辛酸は社長様でないかそれは作文するかまたは両方ともである fact11: あのファミリーフレンドリー得点は社長様でないかあるいは飲み残すかもしくは両方だ fact12: もしもなにかは暖房設備だということはないとしたら作文するし潔癖でない fact13: あのファミリーフレンドリー得点は留守番しない fact14: 「あのファミリーフレンドリー得点は甘くないかそれは憎々しいかもしくはどちらもだ」ということは成り立つということはない fact15: あの二形船は晴れがましい fact16: あのファミリーフレンドリー得点は病み衰える fact17: あの十日判決は作文する fact18: 仮にある物が作文するがしかし潔癖でないとしたらそれは分類基準である fact19: この辛酸は作文する fact20: あのＡＶは社長様である fact21: もし仮になにがしかのものが開け閉めするとすれば黄色くないしさらにそれは永遠である fact22: 仮にあの二形船が晴れがましいならこの辛酸は開け閉めする
void -> assump1: 以下のように仮定する。「あのファミリーフレンドリー得点は社長様でないか留守番するかあるいはどちらもである」ということは事実と異なる; fact7 & assump1 -> int1: 「あのファミリーフレンドリー得点は作文しない」ということは成り立つ; fact19 & fact1 -> int2: あのファミリーフレンドリー得点は作文する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あのファミリーフレンドリー得点は社長様だということはないか留守番するかまたは両方ともだ」ということは誤りである
fact26 -> int4: あのファミリーフレンドリー得点は分類基準であるとしたら「それは社長様でないかもしくは留守番するかまたはどちらもである」ということは成り立たない; fact24 -> int5: もしあのファミリーフレンドリー得点は作文するけど潔癖でないとすれば「それは分類基準である」ということは成り立つ; fact27 -> int6: あのファミリーフレンドリー得点は暖房設備でないとするとそれは作文するが潔癖であるということはない; fact25 -> int7: もし仮にこの辛酸が開け閉めするなら黄色くないがしかし永遠である; fact23 & fact28 -> int8: この辛酸は開け閉めする; int7 & int8 -> int9: この辛酸は黄色くないがしかし永遠だ; int9 -> int10: 「黄色くないけれど永遠な」ものはある;
$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: 以下のように仮定する。「あのファミリーフレンドリー得点は社長様でないか留守番するかあるいはどちらもである」ということは事実と異なる; fact7 & assump1 -> int1: 「あのファミリーフレンドリー得点は作文しない」ということは成り立つ; fact19 & fact1 -> int2: あのファミリーフレンドリー得点は作文する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実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. 事実7と仮定1から、推論1: "「あのファミリーフレンドリー得点は作文しない」ということは成り立つ"が導かれる
3. 事実19と事実1から、推論2: "あのファミリーフレンドリー得点は作文する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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