この二十箇月齢以下は判断し得る
fact1: もしなにがしかのものが築けるとすればそれは思い出深くなくて判断し得ない fact2: もしも「「思い出深い」ということは確かな」ものがあるとするとこの二十箇月齢以下は判断し得る fact3: もし仮に「なにかは築けるがそれは生き易くない」ということは事実と異なるとすると判断し得る fact4: 「思い出深い」ものはある fact5: あの千円札は消化・吸収する fact6: 思い出深くないものは判断し得ないとすれば実験技術だ fact7: もしも何らかの物は思い出深くないか築けるかあるいは両方だとしたらそれは判断し得るということはない fact8: その神武東征は梃入れする fact9: もし仮に「なにかは築けないけれど判断し得る」ということは成り立たないならばそれは判断し得ない fact10: もし仮にあるものは思い出深くないとしたら「それは築けるということはないけれど判断し得る」ということは成り立たない fact11: この二十箇月齢以下は飲み為さる fact12: 仮になにがしかの物がサイバー朝礼だとするとあの素封家は理屈っぽい
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
この二十箇月齢以下は判断し得ない
fact13 -> int1: もしこの二十箇月齢以下が思い出深いということはないかそれが築けるなら判断し得ない;
$facts$ = fact1: もしなにがしかのものが築けるとすればそれは思い出深くなくて判断し得ない fact2: もしも「「思い出深い」ということは確かな」ものがあるとするとこの二十箇月齢以下は判断し得る fact3: もし仮に「なにかは築けるがそれは生き易くない」ということは事実と異なるとすると判断し得る fact4: 「思い出深い」ものはある fact5: あの千円札は消化・吸収する fact6: 思い出深くないものは判断し得ないとすれば実験技術だ fact7: もしも何らかの物は思い出深くないか築けるかあるいは両方だとしたらそれは判断し得るということはない fact8: その神武東征は梃入れする fact9: もし仮に「なにかは築けないけれど判断し得る」ということは成り立たないならばそれは判断し得ない fact10: もし仮にあるものは思い出深くないとしたら「それは築けるということはないけれど判断し得る」ということは成り立たない fact11: この二十箇月齢以下は飲み為さる fact12: 仮になにがしかの物がサイバー朝礼だとするとあの素封家は理屈っぽい ; $hypothesis$ = この二十箇月齢以下は判断し得る ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: もしなにがしかのものが築けるとすればそれは思い出深くなくて判断し得ない
事実2: もしも「「思い出深い」ということは確かな」ものがあるとするとこの二十箇月齢以下は判断し得る
事実3: もし仮に「なにかは築けるがそれは生き易くない」ということは事実と異なるとすると判断し得る
事実4: 「思い出深い」ものはある
事実5: あの千円札は消化・吸収する
事実6: 思い出深くないものは判断し得ないとすれば実験技術だ
事実7: もしも何らかの物は思い出深くないか築けるかあるいは両方だとしたらそれは判断し得るということはない
事実8: その神武東征は梃入れする
事実9: もし仮に「なにかは築けないけれど判断し得る」ということは成り立たないならばそれは判断し得ない
事実10: もし仮にあるものは思い出深くないとしたら「それは築けるということはないけれど判断し得る」ということは成り立たない
事実11: この二十箇月齢以下は飲み為さる
事実12: 仮になにがしかの物がサイバー朝礼だとするとあの素封家は理屈っぽい

仮説: この二十箇月齢以下は判断し得る
1. 事実4と事実2から、仮説が導かれる

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