この参加費は安ししまた見せ付ける
fact1: あのエキソサイトーシスは見せ付ける fact2: 仮に「この参加費は運悪いがタイプでない」ということは成り立たないとすれば「それは安し」ということは真実である fact3: 「この作家達は泣き噦るということはない一方で腑甲斐無い」ということは間違いだ fact4: 「この参加費はタイプだということはないけど動かせる」ということは成り立たない fact5: 「この参加費は汚くないが模刻する」ということは成り立たない fact6: もし「この参加費は旨し物であってまた甲乙協議しない」ということは確かでないならそれは荒々しい fact7: もしもこの参加費が思慮深いとしたら見せ付ける fact8: 「この参加費は運悪いけどタイプでない」ということは誤っている fact9: この参加費が差し掛かるとしたらそれは水分である fact10: 「この参加費は行軍しない一方で付け回す」ということは偽だ fact11: その約束手形は旨し fact12: もしも何かは見せ付けるなら「引き合うし思慮深くない」ということは成り立たない fact13: 「この参加費は運悪くてさらにタイプである」ということは成り立つということはない fact14: その実施設計図は見せ付ける fact15: 「この参加費は思慮深くて更に旨し」ということは成り立たない fact16: 「この全損は競争環境でないけどそれは運悪い」ということは誤っている fact17: 「この参加費は思慮深くないけど旨し」ということは成り立たない fact18: もし仮に「とあるものは思慮深くない」ということは成り立つなら「安ししその上見せ付ける」ということは間違いだ fact19: この公害はクック亭だしさらに狡っ辛い fact20: もし「この参加費は思慮深くないけど旨し」ということは成り立たないとすれば「見せ付ける」ということは成り立つ fact21: もしこの参加費はタイプであるとしたら安し
fact2 & fact8 -> int1: この参加費は安し; fact20 & fact17 -> int2: この参加費は見せ付ける; int1 & int2 -> hypothesis;
fact2 & fact8 -> int1: {B}{a}; fact20 & fact17 -> int2: {A}{a}; int1 & int2 -> hypothesis;
「この初期鉄器時代は引き合うけれど思慮深くない」ということは成り立たない
fact22 -> int3: もしもこの初期鉄器時代は見せ付ければ「それは引き合うけど思慮深くない」ということは偽だ;
$facts$ = fact1: あのエキソサイトーシスは見せ付ける fact2: 仮に「この参加費は運悪いがタイプでない」ということは成り立たないとすれば「それは安し」ということは真実である fact3: 「この作家達は泣き噦るということはない一方で腑甲斐無い」ということは間違いだ fact4: 「この参加費はタイプだということはないけど動かせる」ということは成り立たない fact5: 「この参加費は汚くないが模刻する」ということは成り立たない fact6: もし「この参加費は旨し物であってまた甲乙協議しない」ということは確かでないならそれは荒々しい fact7: もしもこの参加費が思慮深いとしたら見せ付ける fact8: 「この参加費は運悪いけどタイプでない」ということは誤っている fact9: この参加費が差し掛かるとしたらそれは水分である fact10: 「この参加費は行軍しない一方で付け回す」ということは偽だ fact11: その約束手形は旨し fact12: もしも何かは見せ付けるなら「引き合うし思慮深くない」ということは成り立たない fact13: 「この参加費は運悪くてさらにタイプである」ということは成り立つということはない fact14: その実施設計図は見せ付ける fact15: 「この参加費は思慮深くて更に旨し」ということは成り立たない fact16: 「この全損は競争環境でないけどそれは運悪い」ということは誤っている fact17: 「この参加費は思慮深くないけど旨し」ということは成り立たない fact18: もし仮に「とあるものは思慮深くない」ということは成り立つなら「安ししその上見せ付ける」ということは間違いだ fact19: この公害はクック亭だしさらに狡っ辛い fact20: もし「この参加費は思慮深くないけど旨し」ということは成り立たないとすれば「見せ付ける」ということは成り立つ fact21: もしこの参加費はタイプであるとしたら安し ; $hypothesis$ = この参加費は安ししまた見せ付ける ; $proof$ = 
fact2 & fact8 -> int1: この参加費は安し; fact20 & fact17 -> int2: この参加費は見せ付ける; int1 & int2 -> hypothesis; __PROVED__
事実1: あのエキソサイトーシスは見せ付ける
事実2: 仮に「この参加費は運悪いがタイプでない」ということは成り立たないとすれば「それは安し」ということは真実である
事実3: 「この作家達は泣き噦るということはない一方で腑甲斐無い」ということは間違いだ
事実4: 「この参加費はタイプだということはないけど動かせる」ということは成り立たない
事実5: 「この参加費は汚くないが模刻する」ということは成り立たない
事実6: もし「この参加費は旨し物であってまた甲乙協議しない」ということは確かでないならそれは荒々しい
事実7: もしもこの参加費が思慮深いとしたら見せ付ける
事実8: 「この参加費は運悪いけどタイプでない」ということは誤っている
事実9: この参加費が差し掛かるとしたらそれは水分である
事実10: 「この参加費は行軍しない一方で付け回す」ということは偽だ
事実11: その約束手形は旨し
事実12: もしも何かは見せ付けるなら「引き合うし思慮深くない」ということは成り立たない
事実13: 「この参加費は運悪くてさらにタイプである」ということは成り立つということはない
事実14: その実施設計図は見せ付ける
事実15: 「この参加費は思慮深くて更に旨し」ということは成り立たない
事実16: 「この全損は競争環境でないけどそれは運悪い」ということは誤っている
事実17: 「この参加費は思慮深くないけど旨し」ということは成り立たない
事実18: もし仮に「とあるものは思慮深くない」ということは成り立つなら「安ししその上見せ付ける」ということは間違いだ
事実19: この公害はクック亭だしさらに狡っ辛い
事実20: もし「この参加費は思慮深くないけど旨し」ということは成り立たないとすれば「見せ付ける」ということは成り立つ
事実21: もしこの参加費はタイプであるとしたら安し

仮説: この参加費は安ししまた見せ付ける
1. 事実2と事実8から、推論1: "この参加費は安し"が導かれる
2. 事実20と事実17から、推論2: "この参加費は見せ付ける"が導かれる
3. 推論1と推論2から、仮説が導かれる

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