この中学卒業はどぎつい
fact1: この果てしはどぎつかない fact2: もしそのふいは頷かないなら「この果てしはオレガノでないかもしくはそれは改修でない」ということは間違いである fact3: もしも「この果てしは冷たい」ということは成り立つとすればそれはオレガノだということはない fact4: もし仮になんらかのものはそそっかしくないならば「追想するかそれは敢え無いか両方だ」ということは間違っている fact5: 「そのふいが敢え無くないしさらに活用状況だということはない」ということは成り立たない fact6: 「この果てしは冷たいということはないが頷く」ということは偽である fact7: この果てしは荒っぽいがしかしそれは罹患し易くない fact8: 「この中学卒業は改修でない」ということは本当だ fact9: もし仮に「その一笑は冷たい」ということは事実だとするとこの果てしは冷たい fact10: もし「あの文系は審理判断しない」ということは確かだとするとあのオープン・教育は安っぽい fact11: もしもこの果てしがどぎついがオレガノでないならばこの中学卒業は改修だ fact12: もしも「あのオープン・教育は追想しないが冷たい」ということは誤っているならその一笑は冷たい fact13: 「この果てしは冷たくて頷く」ということは成り立つということはない fact14: もしこの中学卒業が頷かないとするとこの浜育ちは改修でない fact15: もし仮にこの中学卒業がどぎついけどそれが改修でないならばこの果てしはオレガノである fact16: 仮に「この果てしは冷たいということはないがしかし頷く」ということは成り立つということはないならばそれはオレガノでない fact17: もしとある物が安っぽいならそれは相部屋でない fact18: もし仮になにかは活用状況でないならば冷たいかあるいはそれは頷くかまたは両方である fact19: 「この果てしはオレガノでないかそれは改修でない」ということは嘘であるならこの中学卒業はどぎつい fact20: もし仮にこの果てしが冷たいしさらに頷くとすればあの中学卒業は頷かない fact21: もしあるものは相部屋でないならレイアウトしないしそそっかしいということはない fact22: もしも「あのオープン・教育は追想するか敢え無い」ということは間違いであるならばその一笑は活用状況でない fact23: あの文系は審理判断するということはないかあるいは安っぽくないかあるいは両方ともである fact24: この果てしは実行し易いということはない
void -> assump1: 以下のように仮定する。この中学卒業はどぎつい; assump1 & fact8 -> int1: 「この中学卒業はどぎついけど改修でない」ということは真実だ; int1 & fact15 -> int2: この果てしはオレガノだ; fact16 & fact6 -> int3: 「この果てしはオレガノでない」ということは事実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この浜育ちはオレガノだということはない
fact25 -> int5: 「「敢え無くないしその上活用状況でない」ということは間違いである」ものはある;
$facts$ = fact1: この果てしはどぎつかない fact2: もしそのふいは頷かないなら「この果てしはオレガノでないかもしくはそれは改修でない」ということは間違いである fact3: もしも「この果てしは冷たい」ということは成り立つとすればそれはオレガノだということはない fact4: もし仮になんらかのものはそそっかしくないならば「追想するかそれは敢え無いか両方だ」ということは間違っている fact5: 「そのふいが敢え無くないしさらに活用状況だということはない」ということは成り立たない fact6: 「この果てしは冷たいということはないが頷く」ということは偽である fact7: この果てしは荒っぽいがしかしそれは罹患し易くない fact8: 「この中学卒業は改修でない」ということは本当だ fact9: もし仮に「その一笑は冷たい」ということは事実だとするとこの果てしは冷たい fact10: もし「あの文系は審理判断しない」ということは確かだとするとあのオープン・教育は安っぽい fact11: もしもこの果てしがどぎついがオレガノでないならばこの中学卒業は改修だ fact12: もしも「あのオープン・教育は追想しないが冷たい」ということは誤っているならその一笑は冷たい fact13: 「この果てしは冷たくて頷く」ということは成り立つということはない fact14: もしこの中学卒業が頷かないとするとこの浜育ちは改修でない fact15: もし仮にこの中学卒業がどぎついけどそれが改修でないならばこの果てしはオレガノである fact16: 仮に「この果てしは冷たいということはないがしかし頷く」ということは成り立つということはないならばそれはオレガノでない fact17: もしとある物が安っぽいならそれは相部屋でない fact18: もし仮になにかは活用状況でないならば冷たいかあるいはそれは頷くかまたは両方である fact19: 「この果てしはオレガノでないかそれは改修でない」ということは嘘であるならこの中学卒業はどぎつい fact20: もし仮にこの果てしが冷たいしさらに頷くとすればあの中学卒業は頷かない fact21: もしあるものは相部屋でないならレイアウトしないしそそっかしいということはない fact22: もしも「あのオープン・教育は追想するか敢え無い」ということは間違いであるならばその一笑は活用状況でない fact23: あの文系は審理判断するということはないかあるいは安っぽくないかあるいは両方ともである fact24: この果てしは実行し易いということはない ; $hypothesis$ = この中学卒業はどぎつい ; $proof$ = 
void -> assump1: 以下のように仮定する。この中学卒業はどぎつい; assump1 & fact8 -> int1: 「この中学卒業はどぎついけど改修でない」ということは真実だ; int1 & fact15 -> int2: この果てしはオレガノだ; fact16 & fact6 -> int3: 「この果てしはオレガノでない」ということは事実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: この果てしはどぎつかない
事実2: もしそのふいは頷かないなら「この果てしはオレガノでないかもしくはそれは改修でない」ということは間違いである
事実3: もしも「この果てしは冷たい」ということは成り立つとすればそれはオレガノだということはない
事実4: もし仮になんらかのものはそそっかしくないならば「追想するかそれは敢え無いか両方だ」ということは間違っている
事実5: 「そのふいが敢え無くないしさらに活用状況だということはない」ということは成り立たない
事実6: 「この果てしは冷たいということはないが頷く」ということは偽である
事実7: この果てしは荒っぽいがしかしそれは罹患し易くない
事実8: 「この中学卒業は改修でない」ということは本当だ
事実9: もし仮に「その一笑は冷たい」ということは事実だとするとこの果てしは冷たい
事実10: もし「あの文系は審理判断しない」ということは確かだとするとあのオープン・教育は安っぽい
事実11: もしもこの果てしがどぎついがオレガノでないならばこの中学卒業は改修だ
事実12: もしも「あのオープン・教育は追想しないが冷たい」ということは誤っているならその一笑は冷たい
事実13: 「この果てしは冷たくて頷く」ということは成り立つということはない
事実14: もしこの中学卒業が頷かないとするとこの浜育ちは改修でない
事実15: もし仮にこの中学卒業がどぎついけどそれが改修でないならばこの果てしはオレガノである
事実16: 仮に「この果てしは冷たいということはないがしかし頷く」ということは成り立つということはないならばそれはオレガノでない
事実17: もしとある物が安っぽいならそれは相部屋でない
事実18: もし仮になにかは活用状況でないならば冷たいかあるいはそれは頷くかまたは両方である
事実19: 「この果てしはオレガノでないかそれは改修でない」ということは嘘であるならこの中学卒業はどぎつい
事実20: もし仮にこの果てしが冷たいしさらに頷くとすればあの中学卒業は頷かない
事実21: もしあるものは相部屋でないならレイアウトしないしそそっかしいということはない
事実22: もしも「あのオープン・教育は追想するか敢え無い」ということは間違いであるならばその一笑は活用状況でない
事実23: あの文系は審理判断するということはないかあるいは安っぽくないかあるいは両方ともである
事実24: この果てしは実行し易いということはない

仮説: この中学卒業はどぎつい
1. 仮定1: 以下のように仮定する。この中学卒業はどぎつい
2. 仮定1と事実8から、推論1: "「この中学卒業はどぎついけど改修でない」ということは真実だ"が導かれる
3. 推論1と事実15から、推論2: "この果てしはオレガノだ"が導かれる
4. 事実16と事実6から、推論3: "「この果てしはオレガノでない」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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