「そのプチＩオンは覚え易くて文明化する」ということは事実と異なる
fact1: そのプチＩオンは二拍以下であるならそれは際どいということはない fact2: もし仮にあの助成額が平和状態であるならそれは再統合しないしその上利用され易くない fact3: もし仮にその登攀は手痛いとすると「そのプチＩオンはパロディ化するがしかし際どかない」ということは成り立つということはない fact4: 「その登攀はパロディ化するしおまけに覚え易い」ということは間違っている fact5: その登攀はパロディ化する fact6: もしなんらかの物は排中律でないか上り易くないかどちらもであるとすれば酸化し難くない fact7: 酸化し難くないものは非難がましかない fact8: 仮になにかは手痛いということはないなら「覚え易いし文明化する」ということは成り立たない fact9: 仮にそのプチＩオンが際どかないとすればその登攀は文明化しなくて加えてパロディ化しない fact10: 「その登攀は際どいしさらにそれは二拍以下だ」ということは誤っている fact11: もし仮に「その登攀は久しい」ということは事実ならば二拍以下でない fact12: もしその児童給付はパロディ化しないとしたら「そのプチＩオンは覚え易くないがしかし際どい」ということは誤りだ fact13: 仮にそのプチＩオンはパロディ化しないとしたら「覚え易いしかつ二拍以下だ」ということは嘘である fact14: 「再統合するということはない」物があるとしたらその児童給付は排中律でないかまたは上り易くないかまたは両方だ fact15: あの助成額は平和状態だ fact16: 手痛い物は二拍以下でなくてしかもパロディ化しない fact17: 「そのプチＩオンは覚え易くないけれどそれは際どい」ということは事実と異なるとすればその登攀は覚え易くない fact18: もしその登攀が際どかないとしたらそのプチＩオンは二拍以下でない fact19: 非難がましくらないものは手痛いしまた文明化する fact20: もしその登攀が際どかないとするとそのプチＩオンは手痛くないし加えて二拍以下でない fact21: もしその登攀がパロディ化するなら際どかない
fact21 & fact5 -> int1: その登攀は際どかない; int1 & fact20 -> int2: そのプチＩオンは手痛いということはなくて二拍以下でない; int2 -> int3: そのプチＩオンは手痛くない; fact8 -> int4: 仮にそのプチＩオンは手痛くないとすれば「覚え易いし加えてそれは文明化する」ということは間違いである; int3 & int4 -> hypothesis;
そのプチＩオンは覚え易くて文明化する
$facts$ = fact1: そのプチＩオンは二拍以下であるならそれは際どいということはない fact2: もし仮にあの助成額が平和状態であるならそれは再統合しないしその上利用され易くない fact3: もし仮にその登攀は手痛いとすると「そのプチＩオンはパロディ化するがしかし際どかない」ということは成り立つということはない fact4: 「その登攀はパロディ化するしおまけに覚え易い」ということは間違っている fact5: その登攀はパロディ化する fact6: もしなんらかの物は排中律でないか上り易くないかどちらもであるとすれば酸化し難くない fact7: 酸化し難くないものは非難がましかない fact8: 仮になにかは手痛いということはないなら「覚え易いし文明化する」ということは成り立たない fact9: 仮にそのプチＩオンが際どかないとすればその登攀は文明化しなくて加えてパロディ化しない fact10: 「その登攀は際どいしさらにそれは二拍以下だ」ということは誤っている fact11: もし仮に「その登攀は久しい」ということは事実ならば二拍以下でない fact12: もしその児童給付はパロディ化しないとしたら「そのプチＩオンは覚え易くないがしかし際どい」ということは誤りだ fact13: 仮にそのプチＩオンはパロディ化しないとしたら「覚え易いしかつ二拍以下だ」ということは嘘である fact14: 「再統合するということはない」物があるとしたらその児童給付は排中律でないかまたは上り易くないかまたは両方だ fact15: あの助成額は平和状態だ fact16: 手痛い物は二拍以下でなくてしかもパロディ化しない fact17: 「そのプチＩオンは覚え易くないけれどそれは際どい」ということは事実と異なるとすればその登攀は覚え易くない fact18: もしその登攀が際どかないとしたらそのプチＩオンは二拍以下でない fact19: 非難がましくらないものは手痛いしまた文明化する fact20: もしその登攀が際どかないとするとそのプチＩオンは手痛くないし加えて二拍以下でない fact21: もしその登攀がパロディ化するなら際どかない ; $hypothesis$ = 「そのプチＩオンは覚え易くて文明化する」ということは事実と異なる ; $proof$ = 
fact21 & fact5 -> int1: その登攀は際どかない; int1 & fact20 -> int2: そのプチＩオンは手痛いということはなくて二拍以下でない; int2 -> int3: そのプチＩオンは手痛くない; fact8 -> int4: 仮にそのプチＩオンは手痛くないとすれば「覚え易いし加えてそれは文明化する」ということは間違いである; int3 & int4 -> hypothesis; __PROVED__
事実1: そのプチＩオンは二拍以下であるならそれは際どいということはない
事実2: もし仮にあの助成額が平和状態であるならそれは再統合しないしその上利用され易くない
事実3: もし仮にその登攀は手痛いとすると「そのプチＩオンはパロディ化するがしかし際どかない」ということは成り立つということはない
事実4: 「その登攀はパロディ化するしおまけに覚え易い」ということは間違っている
事実5: その登攀はパロディ化する
事実6: もしなんらかの物は排中律でないか上り易くないかどちらもであるとすれば酸化し難くない
事実7: 酸化し難くないものは非難がましかない
事実8: 仮になにかは手痛いということはないなら「覚え易いし文明化する」ということは成り立たない
事実9: 仮にそのプチＩオンが際どかないとすればその登攀は文明化しなくて加えてパロディ化しない
事実10: 「その登攀は際どいしさらにそれは二拍以下だ」ということは誤っている
事実11: もし仮に「その登攀は久しい」ということは事実ならば二拍以下でない
事実12: もしその児童給付はパロディ化しないとしたら「そのプチＩオンは覚え易くないがしかし際どい」ということは誤りだ
事実13: 仮にそのプチＩオンはパロディ化しないとしたら「覚え易いしかつ二拍以下だ」ということは嘘である
事実14: 「再統合するということはない」物があるとしたらその児童給付は排中律でないかまたは上り易くないかまたは両方だ
事実15: あの助成額は平和状態だ
事実16: 手痛い物は二拍以下でなくてしかもパロディ化しない
事実17: 「そのプチＩオンは覚え易くないけれどそれは際どい」ということは事実と異なるとすればその登攀は覚え易くない
事実18: もしその登攀が際どかないとしたらそのプチＩオンは二拍以下でない
事実19: 非難がましくらないものは手痛いしまた文明化する
事実20: もしその登攀が際どかないとするとそのプチＩオンは手痛くないし加えて二拍以下でない
事実21: もしその登攀がパロディ化するなら際どかない

仮説: 「そのプチＩオンは覚え易くて文明化する」ということは事実と異なる
1. 事実21と事実5から、推論1: "その登攀は際どかない"が導かれる
2. 推論1と事実20から、推論2: "そのプチＩオンは手痛いということはなくて二拍以下でない"が導かれる
3. 推論2から、推論3: "そのプチＩオンは手痛くない"が導かれる
4. 事実8から、推論4: "仮にそのプチＩオンは手痛くないとすれば「覚え易いし加えてそれは文明化する」ということは間違いである"が導かれる
5. 推論3と推論4から、仮説が導かれる

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