「その練習テストは命令するしその上恨めしい」ということは成り立たない
fact1: 「その練習テストは命令するけれどそれはしても良くない」ということは成り立つ fact2: この知り合いが通院するとするとあのネットワークシステムは益無しないかあるいはそれは観光路線である fact3: 期待し難い物は益無し fact4: もしもその練習テストが観光路線でないし加えてそれがしても良いということはないとするとこの四番機は観光路線である fact5: あの都市階級は恨めしい fact6: あの墓参は点滴する一方でそれは観光路線でない fact7: もしあのネットワークシステムが恨めしくないとするとその練習テストは命令しない fact8: あるものが点滴するがしかし日本人らしくないならあのネガティブフィードバックは活動し難いということはない fact9: もしもこの知り合いが活動し難いならば簡素化しないし手掛けない fact10: 益無しものは恨めしくないか通院するということはないかまたは両方ともである fact11: 仮に「簡素化するということはなくておまけに手掛けない」物はあれば「あのネットワークシステムは期待し難い」ということは正しい fact12: もしもあるものは益無しということはないかあるいは観光路線であるかあるいはどちらもであるとすると「観光路線である」ということは成り立つ fact13: その練習テストは恨めしいししかも観光路線である fact14: 仮にあのネガティブフィードバックが活動し難くないならばあの知り合いは活動し難い fact15: その練習テストは胸苦しい fact16: 「ある物は連合野でないけれどそれは検証出来る」ということは誤っていれば数秒後であるということはない fact17: 「あの珍味類は連合野でないがしかしそれは検証出来る」ということは事実と異なる fact18: その練習テストは迷信深いが捕らえ易くない fact19: その練習テストは観光路線だ fact20: その練習テストはしても良くない fact21: なにかは数秒後でないならそれは点滴するし更にそれは日本人らしくない
fact1 -> int1: その練習テストは命令する; fact13 -> int2: その練習テストは恨めしい; int1 & int2 -> hypothesis;
この四番機は観光路線である
fact22 -> int3: あのネットワークシステムが益無しとすると恨めしくないかまたは通院しないかまたはどちらもだ; fact23 -> int4: もし「あのネットワークシステムは期待し難い」ということは事実だとしたらそれは益無し; fact32 -> int5: もしもあの珍味類は数秒後でないなら点滴するが日本人らしくない; fact30 -> int6: もし仮に「あの珍味類は連合野でないけどそれは検証出来る」ということは間違っているなら数秒後でない; int6 & fact28 -> int7: あの珍味類は数秒後であるということはない; int5 & int7 -> int8: あの珍味類は点滴するけど日本人らしくない; int8 -> int9: 何らかのものは点滴する一方でそれは日本人らしくない; int9 & fact29 -> int10: あのネガティブフィードバックは活動し難くない; fact31 & int10 -> int11: この知り合いは活動し難い; fact27 & int11 -> int12: この知り合いは簡素化しないし更に手掛けない; int12 -> int13: なにがしかの物は簡素化しないしおまけに手掛けるということはない; int13 & fact26 -> int14: あのネットワークシステムは期待し難い; int4 & int14 -> int15: あのネットワークシステムは益無し; int3 & int15 -> int16: あのネットワークシステムは恨めしくないかあるいは通院するということはないかもしくは両方ともだ;
$facts$ = fact1: 「その練習テストは命令するけれどそれはしても良くない」ということは成り立つ fact2: この知り合いが通院するとするとあのネットワークシステムは益無しないかあるいはそれは観光路線である fact3: 期待し難い物は益無し fact4: もしもその練習テストが観光路線でないし加えてそれがしても良いということはないとするとこの四番機は観光路線である fact5: あの都市階級は恨めしい fact6: あの墓参は点滴する一方でそれは観光路線でない fact7: もしあのネットワークシステムが恨めしくないとするとその練習テストは命令しない fact8: あるものが点滴するがしかし日本人らしくないならあのネガティブフィードバックは活動し難いということはない fact9: もしもこの知り合いが活動し難いならば簡素化しないし手掛けない fact10: 益無しものは恨めしくないか通院するということはないかまたは両方ともである fact11: 仮に「簡素化するということはなくておまけに手掛けない」物はあれば「あのネットワークシステムは期待し難い」ということは正しい fact12: もしもあるものは益無しということはないかあるいは観光路線であるかあるいはどちらもであるとすると「観光路線である」ということは成り立つ fact13: その練習テストは恨めしいししかも観光路線である fact14: 仮にあのネガティブフィードバックが活動し難くないならばあの知り合いは活動し難い fact15: その練習テストは胸苦しい fact16: 「ある物は連合野でないけれどそれは検証出来る」ということは誤っていれば数秒後であるということはない fact17: 「あの珍味類は連合野でないがしかしそれは検証出来る」ということは事実と異なる fact18: その練習テストは迷信深いが捕らえ易くない fact19: その練習テストは観光路線だ fact20: その練習テストはしても良くない fact21: なにかは数秒後でないならそれは点滴するし更にそれは日本人らしくない ; $hypothesis$ = 「その練習テストは命令するしその上恨めしい」ということは成り立たない ; $proof$ = 
fact1 -> int1: その練習テストは命令する; fact13 -> int2: その練習テストは恨めしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その練習テストは命令するけれどそれはしても良くない」ということは成り立つ
事実2: この知り合いが通院するとするとあのネットワークシステムは益無しないかあるいはそれは観光路線である
事実3: 期待し難い物は益無し
事実4: もしもその練習テストが観光路線でないし加えてそれがしても良いということはないとするとこの四番機は観光路線である
事実5: あの都市階級は恨めしい
事実6: あの墓参は点滴する一方でそれは観光路線でない
事実7: もしあのネットワークシステムが恨めしくないとするとその練習テストは命令しない
事実8: あるものが点滴するがしかし日本人らしくないならあのネガティブフィードバックは活動し難いということはない
事実9: もしもこの知り合いが活動し難いならば簡素化しないし手掛けない
事実10: 益無しものは恨めしくないか通院するということはないかまたは両方ともである
事実11: 仮に「簡素化するということはなくておまけに手掛けない」物はあれば「あのネットワークシステムは期待し難い」ということは正しい
事実12: もしもあるものは益無しということはないかあるいは観光路線であるかあるいはどちらもであるとすると「観光路線である」ということは成り立つ
事実13: その練習テストは恨めしいししかも観光路線である
事実14: 仮にあのネガティブフィードバックが活動し難くないならばあの知り合いは活動し難い
事実15: その練習テストは胸苦しい
事実16: 「ある物は連合野でないけれどそれは検証出来る」ということは誤っていれば数秒後であるということはない
事実17: 「あの珍味類は連合野でないがしかしそれは検証出来る」ということは事実と異なる
事実18: その練習テストは迷信深いが捕らえ易くない
事実19: その練習テストは観光路線だ
事実20: その練習テストはしても良くない
事実21: なにかは数秒後でないならそれは点滴するし更にそれは日本人らしくない

仮説: 「その練習テストは命令するしその上恨めしい」ということは成り立たない
1. 事実1から、推論1: "その練習テストは命令する"が導かれる
2. 事実13から、推論2: "その練習テストは恨めしい"が導かれる
3. 推論1と推論2から、仮説が否定される

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