その馬小屋は欲しかない
fact1: 仮に「この卸商は渇水だということはないけれどそれは怪しい」ということは正しいならその馬小屋は欲しい fact2: もし仮に「この自作農は同行しないがそれはオペラ劇場である」ということは成り立たないならあの熾天使はオペラ劇場でない fact3: 「一同爆笑であるということはない」ものはある fact4: もし「この自作農は渇水だ」ということは成り立てばこの卸商は評価・判断する fact5: もしあの熾天使が同行するとするとこの自作農は評価・判断する fact6: もし仮にあの熾天使がオペラ劇場でないとしたらその馬小屋は欲しかない fact7: もしもこの卸商は増え難くないとすると「「この自作農は同行しないけれどオペラ劇場である」ということは正しい」ということは誤りだ fact8: もしこの焦燥が怪しいとしたらその筒は評価・判断する fact9: もしもあの総員退避は授業時間中だということはないならば「その三十パーセント以下は基本記号であるかもしくは崩れ落ちないかもしくは両方ともだ」ということは成り立たない fact10: 「あの総員退避は論争しないし錯乱しない」ということは成り立たない fact11: もしもとある物がオペラ劇場だけれど増え難くないとするとあの熾天使は同行する fact12: この卸商はオペラ劇場である fact13: もし仮にこの白糖がネームならこの焦燥は怪しい fact14: もしもある物が姦しくないならそれはネームであるしかつそれはちぎれ易くない fact15: もし仮に「「基本記号であるか崩れ落ちないかもしくはどちらもだ」ということは偽である」ものがあるとすればこの白糖は姦しくない fact16: 仮にとある物は評価・判断すれば「増え難いが渇水でない」ということは成り立たない fact17: 「その馬小屋は怪しい」ということは成り立つとすると「この卸商は欲しい」ということは確かだ fact18: もし仮に「この自作農は評価・判断する」ということは真実だとすればこの卸商は渇水でないけれど怪しい fact19: もし仮に「あの総員退避は論争しないしそれは錯乱しない」ということは成り立つということはないとするとそれは授業時間中でない fact20: あの御世話様はオペラ劇場だがしかし増え難くない fact21: もしもこの卸商が渇水だとするとこの自作農は欲しいということはないが評価・判断する fact22: 仮にその馬小屋がオペラ劇場ならばあの御世話様は欲しい
fact20 -> int1: 「オペラ劇場でその上増え難くない」物はある; int1 & fact11 -> int2: 「あの熾天使は同行する」ということは成り立つ; int2 & fact5 -> int3: この自作農は評価・判断する; int3 & fact18 -> int4: この卸商は渇水でない一方で怪しい; int4 & fact1 -> hypothesis;
その馬小屋は欲しかない
fact24 -> int5: もしもその筒は評価・判断するとしたら「増え難いしそれに渇水でない」ということは事実と異なる; fact23 -> int6: もし仮にこの白糖が姦しくないとすればネームだがしかしちぎれ易くない; fact32 & fact27 -> int7: あの総員退避は授業時間中だということはない; fact25 & int7 -> int8: 「その三十パーセント以下は基本記号であるかまたは崩れ落ちないかまたはどちらもである」ということは事実でない; int8 -> int9: 「「基本記号であるかまたは崩れ落ちないかもしくは両方ともだ」ということは本当でない」物はある; int9 & fact29 -> int10: この白糖は姦しくない; int6 & int10 -> int11: この白糖はネームだがちぎれ易いということはない; int11 -> int12: この白糖はネームである; fact28 & int12 -> int13: この焦燥は怪しい; fact31 & int13 -> int14: その筒は評価・判断する; int5 & int14 -> int15: 「その筒は増え難いけれど渇水でない」ということは成り立たない; int15 -> int16: 「「増え難くて渇水だということはない」ということは嘘である」物はある;
$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$ = 
fact20 -> int1: 「オペラ劇場でその上増え難くない」物はある; int1 & fact11 -> int2: 「あの熾天使は同行する」ということは成り立つ; int2 & fact5 -> int3: この自作農は評価・判断する; int3 & fact18 -> int4: この卸商は渇水でない一方で怪しい; int4 & fact1 -> 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. 事実20から、推論1: "「オペラ劇場でその上増え難くない」物はある"が導かれる
2. 推論1と事実11から、推論2: "「あの熾天使は同行する」ということは成り立つ"が導かれる
3. 推論2と事実5から、推論3: "この自作農は評価・判断する"が導かれる
4. 推論3と事実18から、推論4: "この卸商は渇水でない一方で怪しい"が導かれる
5. 推論4と事実1から、仮説が否定される

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