「もし「溢れ続けないけど選り出す」ということは事実と異なれば点突然変異な」物はある
fact1: もし何かはタルタル人であるならば管理し易い fact2: 雪深いものは起算日だ fact3: 「とあるものは溢れ続けないけれどそれは選り出す」ということは間違いであるとしたら点突然変異だ fact4: 「自己責任原則でないけれどポリであるとすれば忠実忠実しい」ものはある fact5: 「もし仮にあの輸液療法が爆笑するということはない一方で溢れ続けるとしたらあの輸液療法は汚れ難い」ということは間違いでない fact6: 「なにかは古めかしくないけど発症し易い」ということは事実と異なるとすると「それは面白い」ということは真実である fact7: 「「もし「最年長者でなくて危うい」ということは成り立たないとすると美しい」ものはある」ということは正しい fact8: もしこの参謀次長が僻みっぽいとすると修する fact9: もし仮に「「なにかは目まぐるしかないけどそれは民間委託する」ということは成り立つ」ということは確かでないなら雪深い fact10: もし仮にこの参謀次長は簡単過ぎないけど警察軍であるとすると「それは溢れ続ける」ということは正しい
fact3 -> int1: もしも「この参謀次長は溢れ続けるということはない一方で選り出す」ということは成り立たないとすると点突然変異だ; int1 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
もし仮に「この梨瓜は古めかしくない一方で発症し易い」ということは成り立たないならば面白い
fact11 -> hypothesis;
$facts$ = fact1: もし何かはタルタル人であるならば管理し易い fact2: 雪深いものは起算日だ fact3: 「とあるものは溢れ続けないけれどそれは選り出す」ということは間違いであるとしたら点突然変異だ fact4: 「自己責任原則でないけれどポリであるとすれば忠実忠実しい」ものはある fact5: 「もし仮にあの輸液療法が爆笑するということはない一方で溢れ続けるとしたらあの輸液療法は汚れ難い」ということは間違いでない fact6: 「なにかは古めかしくないけど発症し易い」ということは事実と異なるとすると「それは面白い」ということは真実である fact7: 「「もし「最年長者でなくて危うい」ということは成り立たないとすると美しい」ものはある」ということは正しい fact8: もしこの参謀次長が僻みっぽいとすると修する fact9: もし仮に「「なにかは目まぐるしかないけどそれは民間委託する」ということは成り立つ」ということは確かでないなら雪深い fact10: もし仮にこの参謀次長は簡単過ぎないけど警察軍であるとすると「それは溢れ続ける」ということは正しい ; $hypothesis$ = 「もし「溢れ続けないけど選り出す」ということは事実と異なれば点突然変異な」物はある ; $proof$ = 
fact3 -> int1: もしも「この参謀次長は溢れ続けるということはない一方で選り出す」ということは成り立たないとすると点突然変異だ; int1 -> hypothesis; __PROVED__
事実1: もし何かはタルタル人であるならば管理し易い
事実2: 雪深いものは起算日だ
事実3: 「とあるものは溢れ続けないけれどそれは選り出す」ということは間違いであるとしたら点突然変異だ
事実4: 「自己責任原則でないけれどポリであるとすれば忠実忠実しい」ものはある
事実5: 「もし仮にあの輸液療法が爆笑するということはない一方で溢れ続けるとしたらあの輸液療法は汚れ難い」ということは間違いでない
事実6: 「なにかは古めかしくないけど発症し易い」ということは事実と異なるとすると「それは面白い」ということは真実である
事実7: 「「もし「最年長者でなくて危うい」ということは成り立たないとすると美しい」ものはある」ということは正しい
事実8: もしこの参謀次長が僻みっぽいとすると修する
事実9: もし仮に「「なにかは目まぐるしかないけどそれは民間委託する」ということは成り立つ」ということは確かでないなら雪深い
事実10: もし仮にこの参謀次長は簡単過ぎないけど警察軍であるとすると「それは溢れ続ける」ということは正しい

仮説: 「もし「溢れ続けないけど選り出す」ということは事実と異なれば点突然変異な」物はある
1. 事実3から、推論1: "もしも「この参謀次長は溢れ続けるということはない一方で選り出す」ということは成り立たないとすると点突然変異だ"が導かれる
2. 推論1から、仮説が導かれる

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