その水鳥はモップでない
fact1: 仮にこのオリエンテーションが曽根家でないがしかし扱い易いならその水鳥は反応速度定数だ fact2: もしもこの社長会がタッチしない一方で外的要因であるとするとこのオリエンテーションは第○○条だ fact3: この慶応義塾は開港するとすれば「それは止み難いしさらに儚くない」ということは成り立たない fact4: もしその水鳥は曽根家であるなら「それはモップである」ということは成り立つ fact5: もしもとあるものが止み難くないとしたらそれは由々ししさらに曽根家である fact6: もしも「この社長会は由々しかあるいは止み難くないかもしくは両方ともである」ということは事実と異なるとしたらそれは第○○条でない fact7: 仮に何らかのものが曽根家であるなら外的要因であるということはないしその上それは扱い易くない fact8: もしもこのオリエンテーションが反応速度定数でないならこの慶応義塾は浚わないけどそれはタッチする fact9: もし仮に「「扱い易いがしかし外的要因でない」ということは真実でない」物があればその水鳥は曽根家である fact10: 仮にこの慶応義塾が浚わないけれどタッチするとすればこの社長会は第○○条だ fact11: もし「このオリエンテーションは反応速度定数だ」ということは正しいとしたら「それは扱い易い一方で外的要因でない」ということは嘘だ fact12: もしもこの慶応義塾は扱い易いということはないならば「このオリエンテーションは第○○条でないがしかし反応速度定数だ」ということは成り立たない fact13: もし仮に「何かは止み難いがしかしそれは儚くない」ということは誤りであるとすると止み難くない fact14: もしこの社長会が潜在的可能性でないならばあの慶応義塾はあくどいし開港する fact15: 仮に「このオリエンテーションは第○○条でないけれどそれは反応速度定数である」ということは偽ならばあの水鳥はモップでない fact16: 「この社長会は由々しかあるいは止み難いということはない」ということは成り立たない
void -> assump1: 以下のように仮定する。このオリエンテーションは反応速度定数でない; fact8 & assump1 -> int1: この慶応義塾は浚わないがしかしタッチする; int1 & fact10 -> int2: この社長会は第○○条である; fact16 & fact6 -> int3: この社長会は第○○条でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このオリエンテーションは反応速度定数である; int5 & fact11 -> int6: 「このオリエンテーションは扱い易いけど外的要因でない」ということは誤っている; int6 -> int7: 「「扱い易い一方で外的要因でない」ということは誤りな」物はある; int7 & fact9 -> int8: その水鳥は曽根家である; int8 & fact4 -> hypothesis;
その水鳥はモップでない
fact22 -> int9: この慶応義塾は曽根家であるとしたら外的要因でなくて扱い易くない; fact23 -> int10: もしこの慶応義塾が止み難くないとすると由々ししそれにそれは曽根家だ; fact21 -> int11: もしも「この慶応義塾は止み難いけど儚くない」ということは間違いなら止み難くない;
$facts$ = fact1: 仮にこのオリエンテーションが曽根家でないがしかし扱い易いならその水鳥は反応速度定数だ fact2: もしもこの社長会がタッチしない一方で外的要因であるとするとこのオリエンテーションは第○○条だ fact3: この慶応義塾は開港するとすれば「それは止み難いしさらに儚くない」ということは成り立たない fact4: もしその水鳥は曽根家であるなら「それはモップである」ということは成り立つ fact5: もしもとあるものが止み難くないとしたらそれは由々ししさらに曽根家である fact6: もしも「この社長会は由々しかあるいは止み難くないかもしくは両方ともである」ということは事実と異なるとしたらそれは第○○条でない fact7: 仮に何らかのものが曽根家であるなら外的要因であるということはないしその上それは扱い易くない fact8: もしもこのオリエンテーションが反応速度定数でないならこの慶応義塾は浚わないけどそれはタッチする fact9: もし仮に「「扱い易いがしかし外的要因でない」ということは真実でない」物があればその水鳥は曽根家である fact10: 仮にこの慶応義塾が浚わないけれどタッチするとすればこの社長会は第○○条だ fact11: もし「このオリエンテーションは反応速度定数だ」ということは正しいとしたら「それは扱い易い一方で外的要因でない」ということは嘘だ fact12: もしもこの慶応義塾は扱い易いということはないならば「このオリエンテーションは第○○条でないがしかし反応速度定数だ」ということは成り立たない fact13: もし仮に「何かは止み難いがしかしそれは儚くない」ということは誤りであるとすると止み難くない fact14: もしこの社長会が潜在的可能性でないならばあの慶応義塾はあくどいし開港する fact15: 仮に「このオリエンテーションは第○○条でないけれどそれは反応速度定数である」ということは偽ならばあの水鳥はモップでない fact16: 「この社長会は由々しかあるいは止み難いということはない」ということは成り立たない ; $hypothesis$ = その水鳥はモップでない ; $proof$ = 
void -> assump1: 以下のように仮定する。このオリエンテーションは反応速度定数でない; fact8 & assump1 -> int1: この慶応義塾は浚わないがしかしタッチする; int1 & fact10 -> int2: この社長会は第○○条である; fact16 & fact6 -> int3: この社長会は第○○条でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このオリエンテーションは反応速度定数である; int5 & fact11 -> int6: 「このオリエンテーションは扱い易いけど外的要因でない」ということは誤っている; int6 -> int7: 「「扱い易い一方で外的要因でない」ということは誤りな」物はある; int7 & fact9 -> int8: その水鳥は曽根家である; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にこのオリエンテーションが曽根家でないがしかし扱い易いならその水鳥は反応速度定数だ
事実2: もしもこの社長会がタッチしない一方で外的要因であるとするとこのオリエンテーションは第○○条だ
事実3: この慶応義塾は開港するとすれば「それは止み難いしさらに儚くない」ということは成り立たない
事実4: もしその水鳥は曽根家であるなら「それはモップである」ということは成り立つ
事実5: もしもとあるものが止み難くないとしたらそれは由々ししさらに曽根家である
事実6: もしも「この社長会は由々しかあるいは止み難くないかもしくは両方ともである」ということは事実と異なるとしたらそれは第○○条でない
事実7: 仮に何らかのものが曽根家であるなら外的要因であるということはないしその上それは扱い易くない
事実8: もしもこのオリエンテーションが反応速度定数でないならこの慶応義塾は浚わないけどそれはタッチする
事実9: もし仮に「「扱い易いがしかし外的要因でない」ということは真実でない」物があればその水鳥は曽根家である
事実10: 仮にこの慶応義塾が浚わないけれどタッチするとすればこの社長会は第○○条だ
事実11: もし「このオリエンテーションは反応速度定数だ」ということは正しいとしたら「それは扱い易い一方で外的要因でない」ということは嘘だ
事実12: もしもこの慶応義塾は扱い易いということはないならば「このオリエンテーションは第○○条でないがしかし反応速度定数だ」ということは成り立たない
事実13: もし仮に「何かは止み難いがしかしそれは儚くない」ということは誤りであるとすると止み難くない
事実14: もしこの社長会が潜在的可能性でないならばあの慶応義塾はあくどいし開港する
事実15: 仮に「このオリエンテーションは第○○条でないけれどそれは反応速度定数である」ということは偽ならばあの水鳥はモップでない
事実16: 「この社長会は由々しかあるいは止み難いということはない」ということは成り立たない

仮説: その水鳥はモップでない
1. 仮定1: 以下のように仮定する。このオリエンテーションは反応速度定数でない
2. 事実8と仮定1から、推論1: "この慶応義塾は浚わないがしかしタッチする"が導かれる
3. 推論1と事実10から、推論2: "この社長会は第○○条である"が導かれる
4. 事実16と事実6から、推論3: "この社長会は第○○条でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このオリエンテーションは反応速度定数である"が導かれる
7. 推論5と事実11から、推論6: "「このオリエンテーションは扱い易いけど外的要因でない」ということは誤っている"が導かれる
8. 推論6から、推論7: "「「扱い易い一方で外的要因でない」ということは誤りな」物はある"が導かれる
9. 推論7と事実9から、推論8: "その水鳥は曽根家である"が導かれる
10. 推論8と事実4から、仮説が否定される

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