この損失補填は七十年前後だ
fact1: もし仮に「ある物は給与しないしさらに薄明るくない」ということは成り立たないとしたら生み難いということはない fact2: もしもこの損失補填が味気無いならそれは七十年前後である fact3: もし「「敵中深くなくてかつロボット小僧だ」ということは間違いである」物があるならあのコンタクトレンズはぬるぬるしない fact4: もしあの主務大臣が還帰しないとしたらあのコンタクトレンズは分厚いということはなくておまけに塩梅しない fact5: あのコンタクトレンズは分厚くないとすれば「給与しなくてその上薄明るくない」ということは成り立たない fact6: この損失補填は味気無い fact7: もし仮にあのコンタクトレンズが通じ難いがしかし生み難くないならばこの損失補填は味気無くない fact8: もし仮になにかはぬるぬるしないならばそれは通じ難いしその上値踏みする fact9: その株主数は殺人既遂罪である fact10: 仮になんらかの物は殺人既遂罪だとすれば「敵中深くないがロボット小僧だ」ということは事実でない fact11: 仮になにがしかの物が味気無くないとしたらそれは七十年前後でない fact12: この試行は味気無い fact13: この損失補填は歌い継ぐ
fact2 & fact6 -> hypothesis;
fact2 & fact6 -> hypothesis;
「この損失補填は七十年前後でない」ということは成り立つ
fact22 -> int1: もしもこの損失補填が味気無いということはないとすれば七十年前後でない; fact18 -> int2: もしあのコンタクトレンズがぬるぬるしないなら通じ難いしその上それは値踏みする; fact17 -> int3: 仮にその株主数は殺人既遂罪だとすると「敵中深いということはなくてそれにそれはロボット小僧だ」ということは偽だ; int3 & fact14 -> int4: 「その株主数は敵中深いということはないがしかしロボット小僧である」ということは間違いだ; int4 -> int5: 「「敵中深いということはないけどロボット小僧である」ということは事実と異なる」物はある; int5 & fact20 -> int6: あのコンタクトレンズはぬるぬるしない; int2 & int6 -> int7: あのコンタクトレンズは通じ難くておまけに値踏みする; int7 -> int8: あのコンタクトレンズは通じ難い; fact21 -> int9: 「あのコンタクトレンズは給与しなくて更に薄明るくない」ということは嘘ならば生み難くない;
$facts$ = fact1: もし仮に「ある物は給与しないしさらに薄明るくない」ということは成り立たないとしたら生み難いということはない fact2: もしもこの損失補填が味気無いならそれは七十年前後である fact3: もし「「敵中深くなくてかつロボット小僧だ」ということは間違いである」物があるならあのコンタクトレンズはぬるぬるしない fact4: もしあの主務大臣が還帰しないとしたらあのコンタクトレンズは分厚いということはなくておまけに塩梅しない fact5: あのコンタクトレンズは分厚くないとすれば「給与しなくてその上薄明るくない」ということは成り立たない fact6: この損失補填は味気無い fact7: もし仮にあのコンタクトレンズが通じ難いがしかし生み難くないならばこの損失補填は味気無くない fact8: もし仮になにかはぬるぬるしないならばそれは通じ難いしその上値踏みする fact9: その株主数は殺人既遂罪である fact10: 仮になんらかの物は殺人既遂罪だとすれば「敵中深くないがロボット小僧だ」ということは事実でない fact11: 仮になにがしかの物が味気無くないとしたらそれは七十年前後でない fact12: この試行は味気無い fact13: この損失補填は歌い継ぐ ; $hypothesis$ = この損失補填は七十年前後だ ; $proof$ = 
fact2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「ある物は給与しないしさらに薄明るくない」ということは成り立たないとしたら生み難いということはない
事実2: もしもこの損失補填が味気無いならそれは七十年前後である
事実3: もし「「敵中深くなくてかつロボット小僧だ」ということは間違いである」物があるならあのコンタクトレンズはぬるぬるしない
事実4: もしあの主務大臣が還帰しないとしたらあのコンタクトレンズは分厚いということはなくておまけに塩梅しない
事実5: あのコンタクトレンズは分厚くないとすれば「給与しなくてその上薄明るくない」ということは成り立たない
事実6: この損失補填は味気無い
事実7: もし仮にあのコンタクトレンズが通じ難いがしかし生み難くないならばこの損失補填は味気無くない
事実8: もし仮になにかはぬるぬるしないならばそれは通じ難いしその上値踏みする
事実9: その株主数は殺人既遂罪である
事実10: 仮になんらかの物は殺人既遂罪だとすれば「敵中深くないがロボット小僧だ」ということは事実でない
事実11: 仮になにがしかの物が味気無くないとしたらそれは七十年前後でない
事実12: この試行は味気無い
事実13: この損失補填は歌い継ぐ

仮説: この損失補填は七十年前後だ
1. 事実2と事実6から、仮説が導かれる

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