「この僭主はめでたいかもしくは食品衛生法であるかまたは両方だ」ということは成り立つということはない
fact1: 観察し易くない物はきったないけどめでたくない fact2: もしも「その郷紳は掃除し易いがしかしそれは達成し得ない」ということは事実であるとしたらこの連生年金は達成し得る fact3: もし「掃除し易くない」物があるとするとその郷紳は打撃系だけど達成し得ない fact4: あのプレゼンテーション資料が観察し易いということはないとしたらそれは昼寝するということはないかあるいはきったなくないかどちらもである fact5: そのファンクションは食品衛生法だ fact6: 「もしもこの連生年金がきったないけれどめでたくないならばあのプレゼンテーション資料はめでたくない」ということは成り立つ fact7: もしもその郷紳が打撃系ならば掃除し易いが達成し得ない fact8: その北部地方は掃除し易くない fact9: もし何らかの物は昼寝しないならば「めでたいかまたはそれは食品衛生法だ」ということは誤っている fact10: 仮に何らかの物は一万四千人でないなら愛しくないしかつ観察し易くない fact11: 仮にこの連生年金が達成し得るならあのプレゼンテーション資料は一万四千人でない fact12: 「この僭主は昼寝する」ということは事実である fact13: 「この死亡事例は昼寝する」ということは事実である fact14: 仮にその郷紳は達成し得ないとしたら観察し易いししかも一万四千人だ fact15: もし仮にあのプレゼンテーション資料がめでたくないならこの僭主は昼寝するかもしくはそれは食品衛生法でないかあるいはどちらもだ fact16: 仮にその郷紳が愛しくて加えて観察し易いとすればこの連生年金は観察し易くない fact17: その郷紳は愛しくて記録員である fact18: もしもこの僭主が昼寝するなら食品衛生法だ
fact18 & fact12 -> int1: この僭主は食品衛生法だ; int1 -> hypothesis;
fact18 & fact12 -> int1: {B}{a}; int1 -> hypothesis;
「この僭主はめでたいかそれは食品衛生法である」ということは誤りだ
fact22 -> int2: 仮にこの僭主は昼寝しないとすれば「めでたいかもしくは食品衛生法だ」ということは誤っている; fact24 -> int3: もしあのプレゼンテーション資料が一万四千人でないとするとそれは愛しくないし観察し易いということはない;
$facts$ = fact1: 観察し易くない物はきったないけどめでたくない fact2: もしも「その郷紳は掃除し易いがしかしそれは達成し得ない」ということは事実であるとしたらこの連生年金は達成し得る fact3: もし「掃除し易くない」物があるとするとその郷紳は打撃系だけど達成し得ない fact4: あのプレゼンテーション資料が観察し易いということはないとしたらそれは昼寝するということはないかあるいはきったなくないかどちらもである fact5: そのファンクションは食品衛生法だ fact6: 「もしもこの連生年金がきったないけれどめでたくないならばあのプレゼンテーション資料はめでたくない」ということは成り立つ fact7: もしもその郷紳が打撃系ならば掃除し易いが達成し得ない fact8: その北部地方は掃除し易くない fact9: もし何らかの物は昼寝しないならば「めでたいかまたはそれは食品衛生法だ」ということは誤っている fact10: 仮に何らかの物は一万四千人でないなら愛しくないしかつ観察し易くない fact11: 仮にこの連生年金が達成し得るならあのプレゼンテーション資料は一万四千人でない fact12: 「この僭主は昼寝する」ということは事実である fact13: 「この死亡事例は昼寝する」ということは事実である fact14: 仮にその郷紳は達成し得ないとしたら観察し易いししかも一万四千人だ fact15: もし仮にあのプレゼンテーション資料がめでたくないならこの僭主は昼寝するかもしくはそれは食品衛生法でないかあるいはどちらもだ fact16: 仮にその郷紳が愛しくて加えて観察し易いとすればこの連生年金は観察し易くない fact17: その郷紳は愛しくて記録員である fact18: もしもこの僭主が昼寝するなら食品衛生法だ ; $hypothesis$ = 「この僭主はめでたいかもしくは食品衛生法であるかまたは両方だ」ということは成り立つということはない ; $proof$ = 
fact18 & fact12 -> int1: この僭主は食品衛生法だ; int1 -> hypothesis; __DISPROVED__
事実1: 観察し易くない物はきったないけどめでたくない
事実2: もしも「その郷紳は掃除し易いがしかしそれは達成し得ない」ということは事実であるとしたらこの連生年金は達成し得る
事実3: もし「掃除し易くない」物があるとするとその郷紳は打撃系だけど達成し得ない
事実4: あのプレゼンテーション資料が観察し易いということはないとしたらそれは昼寝するということはないかあるいはきったなくないかどちらもである
事実5: そのファンクションは食品衛生法だ
事実6: 「もしもこの連生年金がきったないけれどめでたくないならばあのプレゼンテーション資料はめでたくない」ということは成り立つ
事実7: もしもその郷紳が打撃系ならば掃除し易いが達成し得ない
事実8: その北部地方は掃除し易くない
事実9: もし何らかの物は昼寝しないならば「めでたいかまたはそれは食品衛生法だ」ということは誤っている
事実10: 仮に何らかの物は一万四千人でないなら愛しくないしかつ観察し易くない
事実11: 仮にこの連生年金が達成し得るならあのプレゼンテーション資料は一万四千人でない
事実12: 「この僭主は昼寝する」ということは事実である
事実13: 「この死亡事例は昼寝する」ということは事実である
事実14: 仮にその郷紳は達成し得ないとしたら観察し易いししかも一万四千人だ
事実15: もし仮にあのプレゼンテーション資料がめでたくないならこの僭主は昼寝するかもしくはそれは食品衛生法でないかあるいはどちらもだ
事実16: 仮にその郷紳が愛しくて加えて観察し易いとすればこの連生年金は観察し易くない
事実17: その郷紳は愛しくて記録員である
事実18: もしもこの僭主が昼寝するなら食品衛生法だ

仮説: 「この僭主はめでたいかもしくは食品衛生法であるかまたは両方だ」ということは成り立つということはない
1. 事実18と事実12から、推論1: "この僭主は食品衛生法だ"が導かれる
2. 推論1から、仮説が否定される

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