あの体育教師は遠い
fact1: あの体育教師が酸っぱいならあの支払い命令は遠くない fact2: もしも「このドライアイスは御顔する」ということは成り立つなら「あの支払い命令は御顔しなくてまたそれは酸っぱくない」ということは確かでない fact3: このドライアイスはＰＤＡである fact4: もし仮に「あの支払い命令は茶色い」ということは成り立つとすれば「あの設定例は茶色くないしその上それは厳めしくらない」ということは成り立たない fact5: もしもあの設定例はＰＤＡであるならば「このドライアイスはＰＤＡでないしさらに茶色いということはない」ということは正しくない fact6: あの設定例は期しない fact7: このドライアイスは酸っぱい fact8: もしあの支払い命令は茶色いなら「あの設定例は茶色いけど厳めしくらない」ということは成り立たない fact9: もし仮にこのドライアイスがＰＤＡである一方で御顔しないとすればあの体育教師は遠くない fact10: もしあの支払い命令が茶色くないけどそれが遠いとすればあの体育教師は遠い fact11: 仮に「なんらかの物はＰＤＡでなくてかつ茶色くない」ということは偽であるとすればそれは酸っぱい fact12: 「あの設定例は茶色いがしかし厳めしくらない」ということは確かでない fact13: あの支払い命令は御顔するし称名念仏である fact14: もし仮に「あの支払い命令は厳めしい」ということは確かならば「あの設定例は厳めしくらないしＰＤＡでない」ということは事実と異なる fact15: もしあるものが茶色いならＰＤＡである fact16: なにかは厳めしくらないとしたら「それはＰＤＡでないしさらに酸っぱくない」ということは本当でない fact17: もしあの設定例がＰＤＡだとしたらこのドライアイスはＰＤＡであるが御顔しない fact18: もし仮に「何らかのものは茶色くないし加えてそれは厳めしいということはない」ということは成り立たないなら「ＰＤＡである」ということは本当である fact19: あの支払い命令は酸っぱい fact20: もしも「「あの設定例はＰＤＡでなくておまけに酸っぱいということはない」ということは真実でない」ということは確かであるとすればあの支払い命令は酸っぱい fact21: もしあの設定例がＰＤＡならばこのドライアイスはＰＤＡである fact22: あの支払い命令は茶色いし酸っぱい
fact22 -> int1: あの支払い命令は茶色い; int1 & fact4 -> int2: 「あの設定例は茶色くないしおまけに厳めしくらない」ということは成り立たない; fact18 -> int3: 仮に「あの設定例は茶色くない物で厳めしくらない」ということは間違いならば「ＰＤＡだ」ということは成り立つ; int2 & int3 -> int4: 「あの設定例はＰＤＡだ」ということは成り立つ; int4 & fact17 -> int5: このドライアイスはＰＤＡだけれど御顔しない; int5 & fact9 -> hypothesis;
あの体育教師は遠い
fact23 -> int6: あの設定例は厳めしくらないとすると「それはＰＤＡでないしその上酸っぱくない」ということは成り立たない;
$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$ = 
fact22 -> int1: あの支払い命令は茶色い; int1 & fact4 -> int2: 「あの設定例は茶色くないしおまけに厳めしくらない」ということは成り立たない; fact18 -> int3: 仮に「あの設定例は茶色くない物で厳めしくらない」ということは間違いならば「ＰＤＡだ」ということは成り立つ; int2 & int3 -> int4: 「あの設定例はＰＤＡだ」ということは成り立つ; int4 & fact17 -> int5: このドライアイスはＰＤＡだけれど御顔しない; int5 & fact9 -> 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. 事実22から、推論1: "あの支払い命令は茶色い"が導かれる
2. 推論1と事実4から、推論2: "「あの設定例は茶色くないしおまけに厳めしくらない」ということは成り立たない"が導かれる
3. 事実18から、推論3: "仮に「あの設定例は茶色くない物で厳めしくらない」ということは間違いならば「ＰＤＡだ」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "「あの設定例はＰＤＡだ」ということは成り立つ"が導かれる
5. 推論4と事実17から、推論5: "このドライアイスはＰＤＡだけれど御顔しない"が導かれる
6. 推論5と事実9から、仮説が否定される

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