あのビール生産は姦しい
fact1: 仮に「この陸はきな臭くないかまたはそれは崩し易くない」ということは成り立つということはないならこのアクチノマイシンＤはロングコートでない fact2: もし仮に「その海綿は酔い易いがしかし来室しない」ということは偽であるとしたらあのビール生産は姦しくない fact3: きな臭くないしまた崩し易い物は姦しい fact4: このアクチノマイシンＤは来室しない fact5: 「この陸はきな臭いけれどそれは大人しくない」ということは間違っている fact6: 「この陸はきな臭くないかあるいはそれは酔い易くない」ということは事実と異なる fact7: このＡＥロックは大人しくない一方で有事立法であるとするとそれはきな臭くない fact8: 仮に「このＡＥロックはロングコートだということはないかあるいはそれは来室するかあるいは両方である」ということは誤りだとしたらこの陸はきな臭くない fact9: もしこのＡＥロックはきな臭いということはないとすれば「この陸はきな臭くないかもしくは崩し易くないかどちらもだ」ということは成り立たない fact10: このＡＥロックは大人しくないがそれは有事立法だ fact11: もし仮にこのアクチノマイシンＤはロングコートでないとしたら「その海綿は酔い易いがしかし来室しない」ということは成り立たない
fact7 & fact10 -> int1: 「このＡＥロックはきな臭くない」ということは確かだ; int1 & fact9 -> int2: 「この陸はきな臭くないか崩し易いということはないかあるいはどちらもだ」ということは嘘である; int2 & fact1 -> int3: このアクチノマイシンＤはロングコートでない; int3 & fact11 -> int4: 「その海綿は酔い易いが来室しない」ということは成り立たない; int4 & fact2 -> hypothesis;
あのビール生産は姦しい
fact12 -> int5: 仮にあのビール生産がきな臭いということはないが崩し易いとすればそれは姦しい;
$facts$ = fact1: 仮に「この陸はきな臭くないかまたはそれは崩し易くない」ということは成り立つということはないならこのアクチノマイシンＤはロングコートでない fact2: もし仮に「その海綿は酔い易いがしかし来室しない」ということは偽であるとしたらあのビール生産は姦しくない fact3: きな臭くないしまた崩し易い物は姦しい fact4: このアクチノマイシンＤは来室しない fact5: 「この陸はきな臭いけれどそれは大人しくない」ということは間違っている fact6: 「この陸はきな臭くないかあるいはそれは酔い易くない」ということは事実と異なる fact7: このＡＥロックは大人しくない一方で有事立法であるとするとそれはきな臭くない fact8: 仮に「このＡＥロックはロングコートだということはないかあるいはそれは来室するかあるいは両方である」ということは誤りだとしたらこの陸はきな臭くない fact9: もしこのＡＥロックはきな臭いということはないとすれば「この陸はきな臭くないかもしくは崩し易くないかどちらもだ」ということは成り立たない fact10: このＡＥロックは大人しくないがそれは有事立法だ fact11: もし仮にこのアクチノマイシンＤはロングコートでないとしたら「その海綿は酔い易いがしかし来室しない」ということは成り立たない ; $hypothesis$ = あのビール生産は姦しい ; $proof$ = 
fact7 & fact10 -> int1: 「このＡＥロックはきな臭くない」ということは確かだ; int1 & fact9 -> int2: 「この陸はきな臭くないか崩し易いということはないかあるいはどちらもだ」ということは嘘である; int2 & fact1 -> int3: このアクチノマイシンＤはロングコートでない; int3 & fact11 -> int4: 「その海綿は酔い易いが来室しない」ということは成り立たない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「この陸はきな臭くないかまたはそれは崩し易くない」ということは成り立つということはないならこのアクチノマイシンＤはロングコートでない
事実2: もし仮に「その海綿は酔い易いがしかし来室しない」ということは偽であるとしたらあのビール生産は姦しくない
事実3: きな臭くないしまた崩し易い物は姦しい
事実4: このアクチノマイシンＤは来室しない
事実5: 「この陸はきな臭いけれどそれは大人しくない」ということは間違っている
事実6: 「この陸はきな臭くないかあるいはそれは酔い易くない」ということは事実と異なる
事実7: このＡＥロックは大人しくない一方で有事立法であるとするとそれはきな臭くない
事実8: 仮に「このＡＥロックはロングコートだということはないかあるいはそれは来室するかあるいは両方である」ということは誤りだとしたらこの陸はきな臭くない
事実9: もしこのＡＥロックはきな臭いということはないとすれば「この陸はきな臭くないかもしくは崩し易くないかどちらもだ」ということは成り立たない
事実10: このＡＥロックは大人しくないがそれは有事立法だ
事実11: もし仮にこのアクチノマイシンＤはロングコートでないとしたら「その海綿は酔い易いがしかし来室しない」ということは成り立たない

仮説: あのビール生産は姦しい
1. 事実7と事実10から、推論1: "「このＡＥロックはきな臭くない」ということは確かだ"が導かれる
2. 推論1と事実9から、推論2: "「この陸はきな臭くないか崩し易いということはないかあるいはどちらもだ」ということは嘘である"が導かれる
3. 推論2と事実1から、推論3: "このアクチノマイシンＤはロングコートでない"が導かれる
4. 推論3と事実11から、推論4: "「その海綿は酔い易いが来室しない」ということは成り立たない"が導かれる
5. 推論4と事実2から、仮説が否定される

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