「仮にこのソロー等が灰色っぽいということはないならその同地方は残り難いけど演説しない」ということは偽である
fact1: 「もしも「なにかは学問以外でないしおまけに連続音でない」ということは間違っているとしたらそれは行き過ぎる」ということは誤っているということはない fact2: 仮にとあるものは行き過ぎるとすれば演説する fact3: もし仮にある物は趙理君等であるとしたらそれは吸えない fact4: もし仮にその成長・発達は有り様でないとすれば「あのリビア山猫は学問以外でないしその上連続音でない」ということは事実と異なる fact5: もしも「その同地方は趙理君等でなくてまた灰色っぽくない」ということは誤りであるとすればあの受け戻しは吸える fact6: もし仮に「なんらかの物は吸える」ということは確かだとすると残り難い fact7: 「灰色っぽいということはないものは趙理君等である」ということは成り立つ fact8: 仮にこのソロー等が吸えないならばその同地方は残り難いが演説しない
fact7 -> int1: 「このソロー等は灰色っぽくない」ということは成り立てばそれは趙理君等だ; void -> assump1: 以下のように仮定する。このソロー等は灰色っぽくない; int1 & assump1 -> int2: このソロー等は趙理君等である; fact3 -> int3: 「このソロー等は趙理君等である」ということは誤りでないとしたら「吸えない」ということは事実だ; int2 & int3 -> int4: このソロー等は吸えない; int4 & fact8 -> int5: その同地方は残り難いがしかし演説しない; [assump1] & int5 -> hypothesis;
あの受け戻しは残り難い
fact11 -> int6: もしあの受け戻しが吸えればそれは残り難い; fact12 -> int7: 仮にあのリビア山猫が行き過ぎるとすればそれは演説する; fact13 -> int8: 仮に「あのリビア山猫は学問以外でないし連続音でない」ということは間違っていればそれは行き過ぎる;
$facts$ = fact1: 「もしも「なにかは学問以外でないしおまけに連続音でない」ということは間違っているとしたらそれは行き過ぎる」ということは誤っているということはない fact2: 仮にとあるものは行き過ぎるとすれば演説する fact3: もし仮にある物は趙理君等であるとしたらそれは吸えない fact4: もし仮にその成長・発達は有り様でないとすれば「あのリビア山猫は学問以外でないしその上連続音でない」ということは事実と異なる fact5: もしも「その同地方は趙理君等でなくてまた灰色っぽくない」ということは誤りであるとすればあの受け戻しは吸える fact6: もし仮に「なんらかの物は吸える」ということは確かだとすると残り難い fact7: 「灰色っぽいということはないものは趙理君等である」ということは成り立つ fact8: 仮にこのソロー等が吸えないならばその同地方は残り難いが演説しない ; $hypothesis$ = 「仮にこのソロー等が灰色っぽいということはないならその同地方は残り難いけど演説しない」ということは偽である ; $proof$ = 
fact7 -> int1: 「このソロー等は灰色っぽくない」ということは成り立てばそれは趙理君等だ; void -> assump1: 以下のように仮定する。このソロー等は灰色っぽくない; int1 & assump1 -> int2: このソロー等は趙理君等である; fact3 -> int3: 「このソロー等は趙理君等である」ということは誤りでないとしたら「吸えない」ということは事実だ; int2 & int3 -> int4: このソロー等は吸えない; int4 & fact8 -> int5: その同地方は残り難いがしかし演説しない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 「もしも「なにかは学問以外でないしおまけに連続音でない」ということは間違っているとしたらそれは行き過ぎる」ということは誤っているということはない
事実2: 仮にとあるものは行き過ぎるとすれば演説する
事実3: もし仮にある物は趙理君等であるとしたらそれは吸えない
事実4: もし仮にその成長・発達は有り様でないとすれば「あのリビア山猫は学問以外でないしその上連続音でない」ということは事実と異なる
事実5: もしも「その同地方は趙理君等でなくてまた灰色っぽくない」ということは誤りであるとすればあの受け戻しは吸える
事実6: もし仮に「なんらかの物は吸える」ということは確かだとすると残り難い
事実7: 「灰色っぽいということはないものは趙理君等である」ということは成り立つ
事実8: 仮にこのソロー等が吸えないならばその同地方は残り難いが演説しない

仮説: 「仮にこのソロー等が灰色っぽいということはないならその同地方は残り難いけど演説しない」ということは偽である
1. 事実7から、推論1: "「このソロー等は灰色っぽくない」ということは成り立てばそれは趙理君等だ"が導かれる
2. 仮定1: 以下のように仮定する。このソロー等は灰色っぽくない
3. 推論1と仮定1から、推論2: "このソロー等は趙理君等である"が導かれる
4. 事実3から、推論3: "「このソロー等は趙理君等である」ということは誤りでないとしたら「吸えない」ということは事実だ"が導かれる
5. 推論2と推論3から、推論4: "このソロー等は吸えない"が導かれる
6. 推論4と事実8から、推論5: "その同地方は残り難いがしかし演説しない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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