あの特殊効果は見易くない
fact1: あの特殊効果は名刺交換である fact2: もし仮に「その光化学反応は見易いしおまけに胸苦しい」ということは真実であるとするとあの特殊効果は集め易くない fact3: 仮にその光化学反応が読み難いしかつ胸苦しいならあの特殊効果は名刺交換でない fact4: 「この火山噴火は読み難くなくてまた名刺交換でない」ということは間違いだ fact5: もし仮にあの皇女が持ち合うしそれに集め易いとしたらその光化学反応は胸苦しいということはない fact6: もしもその光化学反応は胸苦しいということはないならば「あの特殊効果は読み難い」ということは成り立つ fact7: もしもあの特殊効果が持ち合うということはないならばあの皇女は読み難い fact8: もしもあの皇女が読み難いとするとそれは集め易くないしその上胸苦しくない fact9: あの皇女は集め易い fact10: もしも読み難いものが名刺交換だとすると見易くない fact11: あの皇女は集め易くないとすると「あの特殊効果は集め易くない」ということは本当だ fact12: 名刺交換が集め易いとしたら読み難くない fact13: その光化学反応は見易くない fact14: その職務経験は言い易くてそれは持ち合う fact15: あの皇女はリアバンパーでない fact16: その光化学反応は淀み無いししかも出し過ぎる fact17: その光化学反応は慌て出す fact18: もしその光化学反応は読み難くないならば「あの特殊効果は胸苦しい」ということは事実だ fact19: もし仮にあの皇女は名刺交換でないとしたら「あの特殊効果は集め易い」ということは確かだ fact20: 熱いしさらに他愛無い物は潜らない fact21: あの期末棚卸し資産は荒々しいしさらに集め易い fact22: その魚料理は読み難い fact23: 「あの皇女は持ち合う」ということは成り立つ fact24: もしも「「読み難くなくて名刺交換でない」ということは成り立たない」ものがあるならその光化学反応は集め易くない
fact23 & fact9 -> int1: あの皇女は持ち合うしそれは集め易い; int1 & fact5 -> int2: その光化学反応は胸苦しくない; int2 & fact6 -> int3: あの特殊効果は読み難い; int3 & fact1 -> int4: あの特殊効果は読み難いし加えて名刺交換である; fact10 -> int5: 仮にあの特殊効果は読み難いし名刺交換であるとしたら見易くない; int4 & int5 -> hypothesis;
あの特殊効果は見易い
$facts$ = fact1: あの特殊効果は名刺交換である fact2: もし仮に「その光化学反応は見易いしおまけに胸苦しい」ということは真実であるとするとあの特殊効果は集め易くない fact3: 仮にその光化学反応が読み難いしかつ胸苦しいならあの特殊効果は名刺交換でない fact4: 「この火山噴火は読み難くなくてまた名刺交換でない」ということは間違いだ fact5: もし仮にあの皇女が持ち合うしそれに集め易いとしたらその光化学反応は胸苦しいということはない fact6: もしもその光化学反応は胸苦しいということはないならば「あの特殊効果は読み難い」ということは成り立つ fact7: もしもあの特殊効果が持ち合うということはないならばあの皇女は読み難い fact8: もしもあの皇女が読み難いとするとそれは集め易くないしその上胸苦しくない fact9: あの皇女は集め易い fact10: もしも読み難いものが名刺交換だとすると見易くない fact11: あの皇女は集め易くないとすると「あの特殊効果は集め易くない」ということは本当だ fact12: 名刺交換が集め易いとしたら読み難くない fact13: その光化学反応は見易くない fact14: その職務経験は言い易くてそれは持ち合う fact15: あの皇女はリアバンパーでない fact16: その光化学反応は淀み無いししかも出し過ぎる fact17: その光化学反応は慌て出す fact18: もしその光化学反応は読み難くないならば「あの特殊効果は胸苦しい」ということは事実だ fact19: もし仮にあの皇女は名刺交換でないとしたら「あの特殊効果は集め易い」ということは確かだ fact20: 熱いしさらに他愛無い物は潜らない fact21: あの期末棚卸し資産は荒々しいしさらに集め易い fact22: その魚料理は読み難い fact23: 「あの皇女は持ち合う」ということは成り立つ fact24: もしも「「読み難くなくて名刺交換でない」ということは成り立たない」ものがあるならその光化学反応は集め易くない ; $hypothesis$ = あの特殊効果は見易くない ; $proof$ = 
fact23 & fact9 -> int1: あの皇女は持ち合うしそれは集め易い; int1 & fact5 -> int2: その光化学反応は胸苦しくない; int2 & fact6 -> int3: あの特殊効果は読み難い; int3 & fact1 -> int4: あの特殊効果は読み難いし加えて名刺交換である; fact10 -> int5: 仮にあの特殊効果は読み難いし名刺交換であるとしたら見易くない; int4 & int5 -> hypothesis; __PROVED__
事実1: あの特殊効果は名刺交換である
事実2: もし仮に「その光化学反応は見易いしおまけに胸苦しい」ということは真実であるとするとあの特殊効果は集め易くない
事実3: 仮にその光化学反応が読み難いしかつ胸苦しいならあの特殊効果は名刺交換でない
事実4: 「この火山噴火は読み難くなくてまた名刺交換でない」ということは間違いだ
事実5: もし仮にあの皇女が持ち合うしそれに集め易いとしたらその光化学反応は胸苦しいということはない
事実6: もしもその光化学反応は胸苦しいということはないならば「あの特殊効果は読み難い」ということは成り立つ
事実7: もしもあの特殊効果が持ち合うということはないならばあの皇女は読み難い
事実8: もしもあの皇女が読み難いとするとそれは集め易くないしその上胸苦しくない
事実9: あの皇女は集め易い
事実10: もしも読み難いものが名刺交換だとすると見易くない
事実11: あの皇女は集め易くないとすると「あの特殊効果は集め易くない」ということは本当だ
事実12: 名刺交換が集め易いとしたら読み難くない
事実13: その光化学反応は見易くない
事実14: その職務経験は言い易くてそれは持ち合う
事実15: あの皇女はリアバンパーでない
事実16: その光化学反応は淀み無いししかも出し過ぎる
事実17: その光化学反応は慌て出す
事実18: もしその光化学反応は読み難くないならば「あの特殊効果は胸苦しい」ということは事実だ
事実19: もし仮にあの皇女は名刺交換でないとしたら「あの特殊効果は集め易い」ということは確かだ
事実20: 熱いしさらに他愛無い物は潜らない
事実21: あの期末棚卸し資産は荒々しいしさらに集め易い
事実22: その魚料理は読み難い
事実23: 「あの皇女は持ち合う」ということは成り立つ
事実24: もしも「「読み難くなくて名刺交換でない」ということは成り立たない」ものがあるならその光化学反応は集め易くない

仮説: あの特殊効果は見易くない
1. 事実23と事実9から、推論1: "あの皇女は持ち合うしそれは集め易い"が導かれる
2. 推論1と事実5から、推論2: "その光化学反応は胸苦しくない"が導かれる
3. 推論2と事実6から、推論3: "あの特殊効果は読み難い"が導かれる
4. 推論3と事実1から、推論4: "あの特殊効果は読み難いし加えて名刺交換である"が導かれる
5. 事実10から、推論5: "仮にあの特殊効果は読み難いし名刺交換であるとしたら見易くない"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。