「「いがらっぽくて古池でない」ということは誤っている」ものはある
fact1: もし何かは書き込みしないとすると「それはいがらっぽいが古池でない」ということは偽だ fact2: もし仮にとあるものがこそばゆいかあるいはそれは植物性脂肪であるかまたは両方であるとすれば書き込みしない fact3: 「この腎不全患者は植物性脂肪でかつ鈍い」ということは嘘だ fact4: もしもなにがしかのものは燃え移らないとすると「それは気弱いしさらに映写しない」ということは嘘である fact5: あの地元新聞は鈍い fact6: もしもこの腎不全患者が書き込みするかもしくは時価評価するかあるいは両方であるならば変更命令でない fact7: この腎不全患者は植物性脂肪だ fact8: この機能上がいがらっぽくないならこの腎不全患者は古池であるししかも書き込みする fact9: 「この腎不全患者はこそばゆいし一単位生産する」ということは嘘である fact10: 「この控除額は書き込みするがしかし嘘っぽいということはない」ということは成り立たない fact11: 仮に「この腎不全患者は書き込みする」ということは本当ならばＥグレップでない fact12: もしこの腎不全患者は疑わしないなら「それは水準点だがしかし書き込みしない」ということは間違いである fact13: 「「鳴らし続けるしカリだ」ということは嘘な」物はある fact14: この切手研は御示しに成る
fact7 -> int1: この腎不全患者はこそばゆいかあるいは植物性脂肪であるかまたはどちらもである; fact2 -> int2: 仮にこの腎不全患者がこそばゆいかそれは植物性脂肪であるかもしくは両方ともであるなら書き込みしない; int1 & int2 -> int3: この腎不全患者は書き込みするということはない; fact1 -> int4: この腎不全患者は書き込みしないなら「いがらっぽいしさらに古池でない」ということは成り立たない; int3 & int4 -> int5: 「この腎不全患者はいがらっぽいけれど古池であるということはない」ということは成り立つということはない; int5 -> hypothesis;
その菓子折は剥離し難いということはない
$facts$ = fact1: もし何かは書き込みしないとすると「それはいがらっぽいが古池でない」ということは偽だ fact2: もし仮にとあるものがこそばゆいかあるいはそれは植物性脂肪であるかまたは両方であるとすれば書き込みしない fact3: 「この腎不全患者は植物性脂肪でかつ鈍い」ということは嘘だ fact4: もしもなにがしかのものは燃え移らないとすると「それは気弱いしさらに映写しない」ということは嘘である fact5: あの地元新聞は鈍い fact6: もしもこの腎不全患者が書き込みするかもしくは時価評価するかあるいは両方であるならば変更命令でない fact7: この腎不全患者は植物性脂肪だ fact8: この機能上がいがらっぽくないならこの腎不全患者は古池であるししかも書き込みする fact9: 「この腎不全患者はこそばゆいし一単位生産する」ということは嘘である fact10: 「この控除額は書き込みするがしかし嘘っぽいということはない」ということは成り立たない fact11: 仮に「この腎不全患者は書き込みする」ということは本当ならばＥグレップでない fact12: もしこの腎不全患者は疑わしないなら「それは水準点だがしかし書き込みしない」ということは間違いである fact13: 「「鳴らし続けるしカリだ」ということは嘘な」物はある fact14: この切手研は御示しに成る ; $hypothesis$ = 「「いがらっぽくて古池でない」ということは誤っている」ものはある ; $proof$ = 
fact7 -> int1: この腎不全患者はこそばゆいかあるいは植物性脂肪であるかまたはどちらもである; fact2 -> int2: 仮にこの腎不全患者がこそばゆいかそれは植物性脂肪であるかもしくは両方ともであるなら書き込みしない; int1 & int2 -> int3: この腎不全患者は書き込みするということはない; fact1 -> int4: この腎不全患者は書き込みしないなら「いがらっぽいしさらに古池でない」ということは成り立たない; int3 & int4 -> int5: 「この腎不全患者はいがらっぽいけれど古池であるということはない」ということは成り立つということはない; int5 -> hypothesis; __PROVED__
事実1: もし何かは書き込みしないとすると「それはいがらっぽいが古池でない」ということは偽だ
事実2: もし仮にとあるものがこそばゆいかあるいはそれは植物性脂肪であるかまたは両方であるとすれば書き込みしない
事実3: 「この腎不全患者は植物性脂肪でかつ鈍い」ということは嘘だ
事実4: もしもなにがしかのものは燃え移らないとすると「それは気弱いしさらに映写しない」ということは嘘である
事実5: あの地元新聞は鈍い
事実6: もしもこの腎不全患者が書き込みするかもしくは時価評価するかあるいは両方であるならば変更命令でない
事実7: この腎不全患者は植物性脂肪だ
事実8: この機能上がいがらっぽくないならこの腎不全患者は古池であるししかも書き込みする
事実9: 「この腎不全患者はこそばゆいし一単位生産する」ということは嘘である
事実10: 「この控除額は書き込みするがしかし嘘っぽいということはない」ということは成り立たない
事実11: 仮に「この腎不全患者は書き込みする」ということは本当ならばＥグレップでない
事実12: もしこの腎不全患者は疑わしないなら「それは水準点だがしかし書き込みしない」ということは間違いである
事実13: 「「鳴らし続けるしカリだ」ということは嘘な」物はある
事実14: この切手研は御示しに成る

仮説: 「「いがらっぽくて古池でない」ということは誤っている」ものはある
1. 事実7から、推論1: "この腎不全患者はこそばゆいかあるいは植物性脂肪であるかまたはどちらもである"が導かれる
2. 事実2から、推論2: "仮にこの腎不全患者がこそばゆいかそれは植物性脂肪であるかもしくは両方ともであるなら書き込みしない"が導かれる
3. 推論1と推論2から、推論3: "この腎不全患者は書き込みするということはない"が導かれる
4. 事実1から、推論4: "この腎不全患者は書き込みしないなら「いがらっぽいしさらに古池でない」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "「この腎不全患者はいがらっぽいけれど古池であるということはない」ということは成り立つということはない"が導かれる
6. 推論5から、仮説が導かれる

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