あのオーサーＳはデッドボールでない
fact1: あのオーサーＳは灯油だ fact2: 仮に「検討す」物があるとするとあのヒールストーンは甚だしくてそれに生活水準だ fact3: もしも「勘繰りな」物があるならその学級活動はデッドボールだ fact4: もしもあの革新自治体は生成し易いが理解すということはないとしたら「獣染みない」ということは真実である fact5: もし「甚だしい」ものはあるとしたら「そのビアガーデンは取り難いけどそれは甚だしくない」ということは成り立たない fact6: もしあのワックスがデッドボールでないならばそれはほくほくするしさらにそれは息苦しくない fact7: 仮にあのオーサーＳは鬱陶しいがしかし入山しないとすると「それは灯油でない」ということは成り立つ fact8: 「そのビアガーデンは取り難い一方でそれは甚だしくない」ということは成り立たないとすればそれは勘繰りである fact9: 鬱陶しかない物は灯油であるがデッドボールでない fact10: もし仮にあのオーサーＳはデッドボールでないとすれば「それは入山しない」ということは成り立つ fact11: 何らかの物はデッドボールでないなら鬱陶しいがしかし入山しない fact12: あの一人芝居は検討す fact13: なにがしかのものが還付すらないとしたら細くない
fact11 -> int1: もし仮にあのオーサーＳがデッドボールでないならば鬱陶しくてそれは入山しない; void -> assump1: 以下のように仮定する。あのオーサーＳはデッドボールでない; int1 & assump1 -> int2: あのオーサーＳは鬱陶しいけれど入山しない; int2 & fact7 -> int3: あのオーサーＳは灯油でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その学級活動は田舎臭い一方で灯油でない
fact16 -> int5: 「検討す」ものはある; int5 & fact14 -> int6: あのヒールストーンは甚だしいしそれに生活水準だ; int6 -> int7: あのヒールストーンは甚だしい; int7 -> int8: 「甚だしい」ものはある; int8 & fact18 -> int9: 「そのビアガーデンは取り難いがしかしそれは甚だしくない」ということは成り立つということはない; fact15 & int9 -> int10: そのビアガーデンは勘繰りだ; int10 -> int11: 「勘繰りである」物はある; int11 & fact17 -> int12: その学級活動はデッドボールである;
$facts$ = fact1: あのオーサーＳは灯油だ fact2: 仮に「検討す」物があるとするとあのヒールストーンは甚だしくてそれに生活水準だ fact3: もしも「勘繰りな」物があるならその学級活動はデッドボールだ fact4: もしもあの革新自治体は生成し易いが理解すということはないとしたら「獣染みない」ということは真実である fact5: もし「甚だしい」ものはあるとしたら「そのビアガーデンは取り難いけどそれは甚だしくない」ということは成り立たない fact6: もしあのワックスがデッドボールでないならばそれはほくほくするしさらにそれは息苦しくない fact7: 仮にあのオーサーＳは鬱陶しいがしかし入山しないとすると「それは灯油でない」ということは成り立つ fact8: 「そのビアガーデンは取り難い一方でそれは甚だしくない」ということは成り立たないとすればそれは勘繰りである fact9: 鬱陶しかない物は灯油であるがデッドボールでない fact10: もし仮にあのオーサーＳはデッドボールでないとすれば「それは入山しない」ということは成り立つ fact11: 何らかの物はデッドボールでないなら鬱陶しいがしかし入山しない fact12: あの一人芝居は検討す fact13: なにがしかのものが還付すらないとしたら細くない ; $hypothesis$ = あのオーサーＳはデッドボールでない ; $proof$ = 
fact11 -> int1: もし仮にあのオーサーＳがデッドボールでないならば鬱陶しくてそれは入山しない; void -> assump1: 以下のように仮定する。あのオーサーＳはデッドボールでない; int1 & assump1 -> int2: あのオーサーＳは鬱陶しいけれど入山しない; int2 & fact7 -> int3: あのオーサーＳは灯油でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あのオーサーＳは灯油だ
事実2: 仮に「検討す」物があるとするとあのヒールストーンは甚だしくてそれに生活水準だ
事実3: もしも「勘繰りな」物があるならその学級活動はデッドボールだ
事実4: もしもあの革新自治体は生成し易いが理解すということはないとしたら「獣染みない」ということは真実である
事実5: もし「甚だしい」ものはあるとしたら「そのビアガーデンは取り難いけどそれは甚だしくない」ということは成り立たない
事実6: もしあのワックスがデッドボールでないならばそれはほくほくするしさらにそれは息苦しくない
事実7: 仮にあのオーサーＳは鬱陶しいがしかし入山しないとすると「それは灯油でない」ということは成り立つ
事実8: 「そのビアガーデンは取り難い一方でそれは甚だしくない」ということは成り立たないとすればそれは勘繰りである
事実9: 鬱陶しかない物は灯油であるがデッドボールでない
事実10: もし仮にあのオーサーＳはデッドボールでないとすれば「それは入山しない」ということは成り立つ
事実11: 何らかの物はデッドボールでないなら鬱陶しいがしかし入山しない
事実12: あの一人芝居は検討す
事実13: なにがしかのものが還付すらないとしたら細くない

仮説: あのオーサーＳはデッドボールでない
1. 事実11から、推論1: "もし仮にあのオーサーＳがデッドボールでないならば鬱陶しくてそれは入山しない"が導かれる
2. 仮定1: 以下のように仮定する。あのオーサーＳはデッドボールでない
3. 推論1と仮定1から、推論2: "あのオーサーＳは鬱陶しいけれど入山しない"が導かれる
4. 推論2と事実7から、推論3: "あのオーサーＳは灯油でない"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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