「「あの現況はせこくないし因らない」ということは嘘である」ということは正しい
fact1: 仮にあの現況が通り難いがそれは甲子園大会でないならばそれは会員登録するということはない fact2: この影響力が甲子園大会であるかもしくはそれがせこくないとすればそれは捕らえ難い fact3: あの現況が会員登録するとしたらそれは出廷する fact4: もしあの現況が会員登録しないとするとせこくないし加えて因るということはない fact5: あの現況は因らないしかつそれは捕らえ難くない fact6: もしもあるものが会員登録すればそれは出廷する fact7: 仮にあの実施契約が捕らえ難いとすればこの影響力は捕らえ難い fact8: この影響力はせこい fact9: この影響力はむさくるしいかもしくは出廷しないか両方ともである fact10: 何らかの物が這うならそれは通り難い fact11: 仮にあの現況が捕らえ難いとしたらこの影響力は捕らえ難い一方でそれは通り難いということはない fact12: 仮にこの影響力が捕らえ難いとしたらあの実施契約はうざい fact13: あの実施契約が通り難いとするとあの現況は通り難いがしかし甲子園大会でない fact14: 仮にあの実施契約は出廷しないとしたらそれはうざくない fact15: この影響力が這うということはないとしたら出廷しない fact16: 仮にこの影響力はむさくるしいかもしくは出廷するということはないかどちらもだとしたら企画立案だ fact17: もしもあの現況が通り難いとしたら企画立案だ fact18: 仮にこの影響力は企画立案であるとするとそれは捕らえ難い fact19: もし「あの実施契約はうざい」ということは成り立つとするとそれは這う fact20: もしあの実施契約は会員登録するけれどそれは因らないとしたらそれはうざくない
fact16 & fact9 -> int1: この影響力は企画立案だ; int1 & fact18 -> int2: この影響力は捕らえ難い; int2 & fact12 -> int3: あの実施契約はうざい; int3 & fact19 -> int4: あの実施契約は這う; fact10 -> int5: 仮にあの実施契約は這うとすると「通り難い」ということは成り立つ; int4 & int5 -> int6: あの実施契約は通り難い; int6 & fact13 -> int7: あの現況は通り難いけれど甲子園大会でない; int7 & fact1 -> int8: 「あの現況は会員登録しない」ということは真実だ; int8 & fact4 -> hypothesis;
$facts$ = fact1: 仮にあの現況が通り難いがそれは甲子園大会でないならばそれは会員登録するということはない fact2: この影響力が甲子園大会であるかもしくはそれがせこくないとすればそれは捕らえ難い fact3: あの現況が会員登録するとしたらそれは出廷する fact4: もしあの現況が会員登録しないとするとせこくないし加えて因るということはない fact5: あの現況は因らないしかつそれは捕らえ難くない fact6: もしもあるものが会員登録すればそれは出廷する fact7: 仮にあの実施契約が捕らえ難いとすればこの影響力は捕らえ難い fact8: この影響力はせこい fact9: この影響力はむさくるしいかもしくは出廷しないか両方ともである fact10: 何らかの物が這うならそれは通り難い fact11: 仮にあの現況が捕らえ難いとしたらこの影響力は捕らえ難い一方でそれは通り難いということはない fact12: 仮にこの影響力が捕らえ難いとしたらあの実施契約はうざい fact13: あの実施契約が通り難いとするとあの現況は通り難いがしかし甲子園大会でない fact14: 仮にあの実施契約は出廷しないとしたらそれはうざくない fact15: この影響力が這うということはないとしたら出廷しない fact16: 仮にこの影響力はむさくるしいかもしくは出廷するということはないかどちらもだとしたら企画立案だ fact17: もしもあの現況が通り難いとしたら企画立案だ fact18: 仮にこの影響力は企画立案であるとするとそれは捕らえ難い fact19: もし「あの実施契約はうざい」ということは成り立つとするとそれは這う fact20: もしあの実施契約は会員登録するけれどそれは因らないとしたらそれはうざくない ; $hypothesis$ = 「「あの現況はせこくないし因らない」ということは嘘である」ということは正しい ; $proof$ = 
fact16 & fact9 -> int1: この影響力は企画立案だ; int1 & fact18 -> int2: この影響力は捕らえ難い; int2 & fact12 -> int3: あの実施契約はうざい; int3 & fact19 -> int4: あの実施契約は這う; fact10 -> int5: 仮にあの実施契約は這うとすると「通り難い」ということは成り立つ; int4 & int5 -> int6: あの実施契約は通り難い; int6 & fact13 -> int7: あの現況は通り難いけれど甲子園大会でない; int7 & fact1 -> int8: 「あの現況は会員登録しない」ということは真実だ; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にあの現況が通り難いがそれは甲子園大会でないならばそれは会員登録するということはない
事実2: この影響力が甲子園大会であるかもしくはそれがせこくないとすればそれは捕らえ難い
事実3: あの現況が会員登録するとしたらそれは出廷する
事実4: もしあの現況が会員登録しないとするとせこくないし加えて因るということはない
事実5: あの現況は因らないしかつそれは捕らえ難くない
事実6: もしもあるものが会員登録すればそれは出廷する
事実7: 仮にあの実施契約が捕らえ難いとすればこの影響力は捕らえ難い
事実8: この影響力はせこい
事実9: この影響力はむさくるしいかもしくは出廷しないか両方ともである
事実10: 何らかの物が這うならそれは通り難い
事実11: 仮にあの現況が捕らえ難いとしたらこの影響力は捕らえ難い一方でそれは通り難いということはない
事実12: 仮にこの影響力が捕らえ難いとしたらあの実施契約はうざい
事実13: あの実施契約が通り難いとするとあの現況は通り難いがしかし甲子園大会でない
事実14: 仮にあの実施契約は出廷しないとしたらそれはうざくない
事実15: この影響力が這うということはないとしたら出廷しない
事実16: 仮にこの影響力はむさくるしいかもしくは出廷するということはないかどちらもだとしたら企画立案だ
事実17: もしもあの現況が通り難いとしたら企画立案だ
事実18: 仮にこの影響力は企画立案であるとするとそれは捕らえ難い
事実19: もし「あの実施契約はうざい」ということは成り立つとするとそれは這う
事実20: もしあの実施契約は会員登録するけれどそれは因らないとしたらそれはうざくない

仮説: 「「あの現況はせこくないし因らない」ということは嘘である」ということは正しい
1. 事実16と事実9から、推論1: "この影響力は企画立案だ"が導かれる
2. 推論1と事実18から、推論2: "この影響力は捕らえ難い"が導かれる
3. 推論2と事実12から、推論3: "あの実施契約はうざい"が導かれる
4. 推論3と事実19から、推論4: "あの実施契約は這う"が導かれる
5. 事実10から、推論5: "仮にあの実施契約は這うとすると「通り難い」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "あの実施契約は通り難い"が導かれる
7. 推論6と事実13から、推論7: "あの現況は通り難いけれど甲子園大会でない"が導かれる
8. 推論7と事実1から、推論8: "「あの現況は会員登録しない」ということは真実だ"が導かれる
9. 推論8と事実4から、仮説が否定される

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