このプリミドンは太しない
fact1: もし仮にあの機能異常が乗り熟さないならあの結節点は火山岩でないかもしくは太しないかまたは両方だ fact2: 「このプリミドンは侵入し易いがしかし不味くない」ということは成り立たない fact3: 「このプリミドンは侵入し易くて不味い」ということは正しいということはない fact4: もし仮にあの紙メディアが取り掛かり易いとすればあの機能異常は取り掛かり易い fact5: もしも「何かは下任せだが石段作りでない」ということは成り立つということはないならばそれは乗り熟さない fact6: もしもこのプリミドンが不味いなら太しということはない fact7: もしも「このプリミドンは大人気無いけどそれは太しということはない」ということは偽ならそれは刊行物でない fact8: 全ての物は石段作りでないし更にそれは下任せだ fact9: もしもあの結節点は火山岩でないかあるいは太しないかあるいはどちらもであるならばそれは太しない fact10: このプリミドンは怖じけ付かない fact11: 仮になんらかの物は取り掛かり易いとしたら「それは下任せであるしおまけにそれは石段作りでない」ということは偽だ fact12: もし仮に何らかの物が考え掛けるとしたら取り掛かり易い fact13: 不味いものは太しということはない fact14: もし「ある物は面映ゆい一方で処世であるということはない」ということは嘘ならばそれは茶色くない fact15: 仮に「なにかは侵入し易い一方で不味くない」ということは誤っているとすると太しない
fact15 -> int1: もし「このプリミドンは侵入し易い一方で不味くない」ということは間違いであるとすればそれは太しない; int1 & fact2 -> hypothesis;
fact15 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis;
このプリミドンは太し
fact16 -> int2: あの機能異常は石段作りでないが下任せである;
$facts$ = fact1: もし仮にあの機能異常が乗り熟さないならあの結節点は火山岩でないかもしくは太しないかまたは両方だ fact2: 「このプリミドンは侵入し易いがしかし不味くない」ということは成り立たない fact3: 「このプリミドンは侵入し易くて不味い」ということは正しいということはない fact4: もし仮にあの紙メディアが取り掛かり易いとすればあの機能異常は取り掛かり易い fact5: もしも「何かは下任せだが石段作りでない」ということは成り立つということはないならばそれは乗り熟さない fact6: もしもこのプリミドンが不味いなら太しということはない fact7: もしも「このプリミドンは大人気無いけどそれは太しということはない」ということは偽ならそれは刊行物でない fact8: 全ての物は石段作りでないし更にそれは下任せだ fact9: もしもあの結節点は火山岩でないかあるいは太しないかあるいはどちらもであるならばそれは太しない fact10: このプリミドンは怖じけ付かない fact11: 仮になんらかの物は取り掛かり易いとしたら「それは下任せであるしおまけにそれは石段作りでない」ということは偽だ fact12: もし仮に何らかの物が考え掛けるとしたら取り掛かり易い fact13: 不味いものは太しということはない fact14: もし「ある物は面映ゆい一方で処世であるということはない」ということは嘘ならばそれは茶色くない fact15: 仮に「なにかは侵入し易い一方で不味くない」ということは誤っているとすると太しない ; $hypothesis$ = このプリミドンは太しない ; $proof$ = 
fact15 -> int1: もし「このプリミドンは侵入し易い一方で不味くない」ということは間違いであるとすればそれは太しない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にあの機能異常が乗り熟さないならあの結節点は火山岩でないかもしくは太しないかまたは両方だ
事実2: 「このプリミドンは侵入し易いがしかし不味くない」ということは成り立たない
事実3: 「このプリミドンは侵入し易くて不味い」ということは正しいということはない
事実4: もし仮にあの紙メディアが取り掛かり易いとすればあの機能異常は取り掛かり易い
事実5: もしも「何かは下任せだが石段作りでない」ということは成り立つということはないならばそれは乗り熟さない
事実6: もしもこのプリミドンが不味いなら太しということはない
事実7: もしも「このプリミドンは大人気無いけどそれは太しということはない」ということは偽ならそれは刊行物でない
事実8: 全ての物は石段作りでないし更にそれは下任せだ
事実9: もしもあの結節点は火山岩でないかあるいは太しないかあるいはどちらもであるならばそれは太しない
事実10: このプリミドンは怖じけ付かない
事実11: 仮になんらかの物は取り掛かり易いとしたら「それは下任せであるしおまけにそれは石段作りでない」ということは偽だ
事実12: もし仮に何らかの物が考え掛けるとしたら取り掛かり易い
事実13: 不味いものは太しということはない
事実14: もし「ある物は面映ゆい一方で処世であるということはない」ということは嘘ならばそれは茶色くない
事実15: 仮に「なにかは侵入し易い一方で不味くない」ということは誤っているとすると太しない

仮説: このプリミドンは太しない
1. 事実15から、推論1: "もし「このプリミドンは侵入し易い一方で不味くない」ということは間違いであるとすればそれは太しない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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