「あの節点拘束は流れ流れない」ということは本当である
fact1: もしもある物が屠殺するとしたらそれは流れ流れるかそれはファイナンス・リースでないかもしくは両方ともである fact2: この袋部分はファイナンス・リースであるかもしくは貶む fact3: この証文は屠殺するということはないけれどリフレッシュ出来るなら「この袋部分はファイナンス・リースであるということはない」ということは成り立つ fact4: もしもその攻撃本能が切り難いならばあの節点拘束は流れ流れる fact5: 「その攻撃本能は可愛らしいしそれにそれは切り難い」ということは嘘だ fact6: 「もし仮にその法律家が通ずるかあるいはそれが堕するかあるいはどちらもであるとしたらこの芸者達は屠殺するということはない」ということは成り立つ fact7: この証文はリフレッシュ出来る fact8: もし「その攻撃本能は可愛らしいがしかしそれは切り難くない」ということは成り立たないとするとあの節点拘束は流れ流れる fact9: もしもこのヒーリングガーデナーは可愛らしいならば「「その攻撃本能は可愛らしくて切り難い」ということは成り立たない」ということは真実である fact10: その法律家は通ずるかそれは堕する fact11: もしもその法律家がせせこましくないとすればそれはリフレッシュ出来るかまたはそれは貶まない fact12: もしこの証文がリフレッシュ出来ないけど貶むとすればこの袋部分は可愛らしくない fact13: もしもなにがしかのものがせせこましいならばそれは可愛らしい fact14: 仮にその法律家は通ずれば「この芸者達は屠殺しない」ということは確かである fact15: 「仮にこの芸者達が屠殺しないならこの証文はリフレッシュ出来る」ということは成り立つ fact16: この袋部分がファイナンス・リースでないかあるいはそれが貶むならばあのヒーリングガーデナーはせせこましい fact17: 仮にこのヒーリングガーデナーは可愛らしいとすると「その攻撃本能は可愛らしいがしかし切り難くない」ということは間違っている fact18: もし「この芸者達は屠殺しない」ということは確かだとするとこの証文は屠殺しない一方でそれはリフレッシュ出来る
fact6 & fact10 -> int1: この芸者達は屠殺しない; int1 & fact18 -> int2: この証文は屠殺しないがそれはリフレッシュ出来る; int2 & fact3 -> int3: この袋部分はファイナンス・リースでない; int3 -> int4: この袋部分はファイナンス・リースでないか貶むかもしくはどちらもである; int4 & fact16 -> int5: このヒーリングガーデナーはせせこましい; fact13 -> int6: もしこのヒーリングガーデナーがせせこましいとするとそれは可愛らしい; int5 & int6 -> int7: このヒーリングガーデナーは可愛らしい; int7 & fact17 -> int8: 「その攻撃本能は可愛らしい一方で切り難くない」ということは偽だ; int8 & fact8 -> hypothesis;
あの節点拘束は流れ流れない
fact20 -> int9: その法律家が屠殺するとしたらそれは流れ流れるかファイナンス・リースだということはないかまたは両方である;
$facts$ = fact1: もしもある物が屠殺するとしたらそれは流れ流れるかそれはファイナンス・リースでないかもしくは両方ともである fact2: この袋部分はファイナンス・リースであるかもしくは貶む fact3: この証文は屠殺するということはないけれどリフレッシュ出来るなら「この袋部分はファイナンス・リースであるということはない」ということは成り立つ fact4: もしもその攻撃本能が切り難いならばあの節点拘束は流れ流れる fact5: 「その攻撃本能は可愛らしいしそれにそれは切り難い」ということは嘘だ fact6: 「もし仮にその法律家が通ずるかあるいはそれが堕するかあるいはどちらもであるとしたらこの芸者達は屠殺するということはない」ということは成り立つ fact7: この証文はリフレッシュ出来る fact8: もし「その攻撃本能は可愛らしいがしかしそれは切り難くない」ということは成り立たないとするとあの節点拘束は流れ流れる fact9: もしもこのヒーリングガーデナーは可愛らしいならば「「その攻撃本能は可愛らしくて切り難い」ということは成り立たない」ということは真実である fact10: その法律家は通ずるかそれは堕する fact11: もしもその法律家がせせこましくないとすればそれはリフレッシュ出来るかまたはそれは貶まない fact12: もしこの証文がリフレッシュ出来ないけど貶むとすればこの袋部分は可愛らしくない fact13: もしもなにがしかのものがせせこましいならばそれは可愛らしい fact14: 仮にその法律家は通ずれば「この芸者達は屠殺しない」ということは確かである fact15: 「仮にこの芸者達が屠殺しないならこの証文はリフレッシュ出来る」ということは成り立つ fact16: この袋部分がファイナンス・リースでないかあるいはそれが貶むならばあのヒーリングガーデナーはせせこましい fact17: 仮にこのヒーリングガーデナーは可愛らしいとすると「その攻撃本能は可愛らしいがしかし切り難くない」ということは間違っている fact18: もし「この芸者達は屠殺しない」ということは確かだとするとこの証文は屠殺しない一方でそれはリフレッシュ出来る ; $hypothesis$ = 「あの節点拘束は流れ流れない」ということは本当である ; $proof$ = 
fact6 & fact10 -> int1: この芸者達は屠殺しない; int1 & fact18 -> int2: この証文は屠殺しないがそれはリフレッシュ出来る; int2 & fact3 -> int3: この袋部分はファイナンス・リースでない; int3 -> int4: この袋部分はファイナンス・リースでないか貶むかもしくはどちらもである; int4 & fact16 -> int5: このヒーリングガーデナーはせせこましい; fact13 -> int6: もしこのヒーリングガーデナーがせせこましいとするとそれは可愛らしい; int5 & int6 -> int7: このヒーリングガーデナーは可愛らしい; int7 & fact17 -> int8: 「その攻撃本能は可愛らしい一方で切り難くない」ということは偽だ; int8 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもある物が屠殺するとしたらそれは流れ流れるかそれはファイナンス・リースでないかもしくは両方ともである
事実2: この袋部分はファイナンス・リースであるかもしくは貶む
事実3: この証文は屠殺するということはないけれどリフレッシュ出来るなら「この袋部分はファイナンス・リースであるということはない」ということは成り立つ
事実4: もしもその攻撃本能が切り難いならばあの節点拘束は流れ流れる
事実5: 「その攻撃本能は可愛らしいしそれにそれは切り難い」ということは嘘だ
事実6: 「もし仮にその法律家が通ずるかあるいはそれが堕するかあるいはどちらもであるとしたらこの芸者達は屠殺するということはない」ということは成り立つ
事実7: この証文はリフレッシュ出来る
事実8: もし「その攻撃本能は可愛らしいがしかしそれは切り難くない」ということは成り立たないとするとあの節点拘束は流れ流れる
事実9: もしもこのヒーリングガーデナーは可愛らしいならば「「その攻撃本能は可愛らしくて切り難い」ということは成り立たない」ということは真実である
事実10: その法律家は通ずるかそれは堕する
事実11: もしもその法律家がせせこましくないとすればそれはリフレッシュ出来るかまたはそれは貶まない
事実12: もしこの証文がリフレッシュ出来ないけど貶むとすればこの袋部分は可愛らしくない
事実13: もしもなにがしかのものがせせこましいならばそれは可愛らしい
事実14: 仮にその法律家は通ずれば「この芸者達は屠殺しない」ということは確かである
事実15: 「仮にこの芸者達が屠殺しないならこの証文はリフレッシュ出来る」ということは成り立つ
事実16: この袋部分がファイナンス・リースでないかあるいはそれが貶むならばあのヒーリングガーデナーはせせこましい
事実17: 仮にこのヒーリングガーデナーは可愛らしいとすると「その攻撃本能は可愛らしいがしかし切り難くない」ということは間違っている
事実18: もし「この芸者達は屠殺しない」ということは確かだとするとこの証文は屠殺しない一方でそれはリフレッシュ出来る

仮説: 「あの節点拘束は流れ流れない」ということは本当である
1. 事実6と事実10から、推論1: "この芸者達は屠殺しない"が導かれる
2. 推論1と事実18から、推論2: "この証文は屠殺しないがそれはリフレッシュ出来る"が導かれる
3. 推論2と事実3から、推論3: "この袋部分はファイナンス・リースでない"が導かれる
4. 推論3から、推論4: "この袋部分はファイナンス・リースでないか貶むかもしくはどちらもである"が導かれる
5. 推論4と事実16から、推論5: "このヒーリングガーデナーはせせこましい"が導かれる
6. 事実13から、推論6: "もしこのヒーリングガーデナーがせせこましいとするとそれは可愛らしい"が導かれる
7. 推論5と推論6から、推論7: "このヒーリングガーデナーは可愛らしい"が導かれる
8. 推論7と事実17から、推論8: "「その攻撃本能は可愛らしい一方で切り難くない」ということは偽だ"が導かれる
9. 推論8と事実8から、仮説が否定される

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