このレディネスはおっそろしない
fact1: そのパープルはきらめき渡れば「その金性は赴く」ということは成り立つ fact2: 仮にそのパープルは掛け難くないし輝くということはないとするとそれは淑女でない fact3: もし「この国旗・国歌法は輝くかあるいは淑女であるということはないかもしくは両方である」ということは成り立たないならばこのレディネスはおっそろし fact4: 仮にあの例年通りが御負けならそのパープルはきらめき渡る fact5: もしもその金性が合宿するし親しいとするとあの剖検は淑女でない fact6: もしもその会社分割無効確認が支払い証票であるとしたらあの例年通りは御負けである fact7: そのパープルは淑女でないならば「それは合宿するけれどきらめき渡らない」ということは偽である fact8: 仮に何かは赴くとすればそれは親しい fact9: もしもあの関連事業は民王だとしたら「その金性は合宿しなくてしかも掛け難くない」ということは本当でない fact10: もし仮に「そのパープルは合宿する一方でそれはきらめき渡るということはない」ということは間違っているとしたらその会社分割無効確認はきらめき渡る fact11: もし仮にあの剖検は淑女でないとすれば「この国旗・国歌法は輝くか淑女であるということはないかまたはどちらもである」ということは事実と異なる fact12: その会社分割無効確認が赴くしその上親しい fact13: あの関連事業は民王でしかも相互作用する fact14: その会社分割無効確認は支払い証票であるかあるいは特別送達郵便物だ fact15: 仮に「なんらかのものは合宿しないし掛け難くない」ということは偽ならそれは合宿する fact16: 御負けは特別送達郵便物であるけれど支払い証票でない fact17: もしその会社分割無効確認が特別送達郵便物だとするとあの例年通りは御負けである fact18: もし仮に特別送達郵便物は支払い証票でないとしたらおっそろしない
fact14 & fact6 & fact17 -> int1: あの例年通りは御負けだ; int1 & fact4 -> int2: そのパープルはきらめき渡る; int2 & fact1 -> int3: その金性は赴く; fact8 -> int4: その金性が赴くとすればそれは親しい; int3 & int4 -> int5: その金性は親しい; fact13 -> int6: あの関連事業は民王である; int6 & fact9 -> int7: 「その金性は合宿しなくてそれに掛け難いということはない」ということは事実と異なる; fact15 -> int8: 「その金性は合宿しないし掛け難くない」ということは間違いなら「合宿する」ということは成り立つ; int7 & int8 -> int9: 「その金性は合宿する」ということは成り立つ; int5 & int9 -> int10: その金性は合宿するしおまけに親しい; int10 & fact5 -> int11: あの剖検は淑女であるということはない; int11 & fact11 -> int12: 「この国旗・国歌法は輝くかもしくは淑女でないか両方ともだ」ということは成り立たない; int12 & fact3 -> hypothesis;
このレディネスはおっそろしない
fact21 -> int13: もしもこのレディネスは特別送達郵便物だがしかし支払い証票でないならおっそろしない; fact20 -> int14: もし仮にこのレディネスが御負けならそれは特別送達郵便物だが支払い証票でない; fact22 -> int15: 「その会社分割無効確認は赴く」ということは成り立つ;
$facts$ = fact1: そのパープルはきらめき渡れば「その金性は赴く」ということは成り立つ fact2: 仮にそのパープルは掛け難くないし輝くということはないとするとそれは淑女でない fact3: もし「この国旗・国歌法は輝くかあるいは淑女であるということはないかもしくは両方である」ということは成り立たないならばこのレディネスはおっそろし fact4: 仮にあの例年通りが御負けならそのパープルはきらめき渡る fact5: もしもその金性が合宿するし親しいとするとあの剖検は淑女でない fact6: もしもその会社分割無効確認が支払い証票であるとしたらあの例年通りは御負けである fact7: そのパープルは淑女でないならば「それは合宿するけれどきらめき渡らない」ということは偽である fact8: 仮に何かは赴くとすればそれは親しい fact9: もしもあの関連事業は民王だとしたら「その金性は合宿しなくてしかも掛け難くない」ということは本当でない fact10: もし仮に「そのパープルは合宿する一方でそれはきらめき渡るということはない」ということは間違っているとしたらその会社分割無効確認はきらめき渡る fact11: もし仮にあの剖検は淑女でないとすれば「この国旗・国歌法は輝くか淑女であるということはないかまたはどちらもである」ということは事実と異なる fact12: その会社分割無効確認が赴くしその上親しい fact13: あの関連事業は民王でしかも相互作用する fact14: その会社分割無効確認は支払い証票であるかあるいは特別送達郵便物だ fact15: 仮に「なんらかのものは合宿しないし掛け難くない」ということは偽ならそれは合宿する fact16: 御負けは特別送達郵便物であるけれど支払い証票でない fact17: もしその会社分割無効確認が特別送達郵便物だとするとあの例年通りは御負けである fact18: もし仮に特別送達郵便物は支払い証票でないとしたらおっそろしない ; $hypothesis$ = このレディネスはおっそろしない ; $proof$ = 
fact14 & fact6 & fact17 -> int1: あの例年通りは御負けだ; int1 & fact4 -> int2: そのパープルはきらめき渡る; int2 & fact1 -> int3: その金性は赴く; fact8 -> int4: その金性が赴くとすればそれは親しい; int3 & int4 -> int5: その金性は親しい; fact13 -> int6: あの関連事業は民王である; int6 & fact9 -> int7: 「その金性は合宿しなくてそれに掛け難いということはない」ということは事実と異なる; fact15 -> int8: 「その金性は合宿しないし掛け難くない」ということは間違いなら「合宿する」ということは成り立つ; int7 & int8 -> int9: 「その金性は合宿する」ということは成り立つ; int5 & int9 -> int10: その金性は合宿するしおまけに親しい; int10 & fact5 -> int11: あの剖検は淑女であるということはない; int11 & fact11 -> int12: 「この国旗・国歌法は輝くかもしくは淑女でないか両方ともだ」ということは成り立たない; int12 & fact3 -> hypothesis; __DISPROVED__
事実1: そのパープルはきらめき渡れば「その金性は赴く」ということは成り立つ
事実2: 仮にそのパープルは掛け難くないし輝くということはないとするとそれは淑女でない
事実3: もし「この国旗・国歌法は輝くかあるいは淑女であるということはないかもしくは両方である」ということは成り立たないならばこのレディネスはおっそろし
事実4: 仮にあの例年通りが御負けならそのパープルはきらめき渡る
事実5: もしもその金性が合宿するし親しいとするとあの剖検は淑女でない
事実6: もしもその会社分割無効確認が支払い証票であるとしたらあの例年通りは御負けである
事実7: そのパープルは淑女でないならば「それは合宿するけれどきらめき渡らない」ということは偽である
事実8: 仮に何かは赴くとすればそれは親しい
事実9: もしもあの関連事業は民王だとしたら「その金性は合宿しなくてしかも掛け難くない」ということは本当でない
事実10: もし仮に「そのパープルは合宿する一方でそれはきらめき渡るということはない」ということは間違っているとしたらその会社分割無効確認はきらめき渡る
事実11: もし仮にあの剖検は淑女でないとすれば「この国旗・国歌法は輝くか淑女であるということはないかまたはどちらもである」ということは事実と異なる
事実12: その会社分割無効確認が赴くしその上親しい
事実13: あの関連事業は民王でしかも相互作用する
事実14: その会社分割無効確認は支払い証票であるかあるいは特別送達郵便物だ
事実15: 仮に「なんらかのものは合宿しないし掛け難くない」ということは偽ならそれは合宿する
事実16: 御負けは特別送達郵便物であるけれど支払い証票でない
事実17: もしその会社分割無効確認が特別送達郵便物だとするとあの例年通りは御負けである
事実18: もし仮に特別送達郵便物は支払い証票でないとしたらおっそろしない

仮説: このレディネスはおっそろしない
1. 事実14と事実6と事実17から、推論1: "あの例年通りは御負けだ"が導かれる
2. 推論1と事実4から、推論2: "そのパープルはきらめき渡る"が導かれる
3. 推論2と事実1から、推論3: "その金性は赴く"が導かれる
4. 事実8から、推論4: "その金性が赴くとすればそれは親しい"が導かれる
5. 推論3と推論4から、推論5: "その金性は親しい"が導かれる
6. 事実13から、推論6: "あの関連事業は民王である"が導かれる
7. 推論6と事実9から、推論7: "「その金性は合宿しなくてそれに掛け難いということはない」ということは事実と異なる"が導かれる
8. 事実15から、推論8: "「その金性は合宿しないし掛け難くない」ということは間違いなら「合宿する」ということは成り立つ"が導かれる
9. 推論7と推論8から、推論9: "「その金性は合宿する」ということは成り立つ"が導かれる
10. 推論5と推論9から、推論10: "その金性は合宿するしおまけに親しい"が導かれる
11. 推論10と事実5から、推論11: "あの剖検は淑女であるということはない"が導かれる
12. 推論11と事実11から、推論12: "「この国旗・国歌法は輝くかもしくは淑女でないか両方ともだ」ということは成り立たない"が導かれる
13. 推論12と事実3から、仮説が否定される

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