「仮に「覚醒しなくてかつマッチングしない」ということは事実と異なるとすると分かたない」ものはある
fact1: もしも「その不適当は覚醒しないしおまけにマッチングしない」ということは誤っているとしたら分かつということはない fact2: 「「覚醒するし加えてマッチングしない」ということは成り立つということはないとすると分かたない」物はある fact3: 「「発酵乳である」ということは事実なら入り易いということはない」ものはある fact4: もし仮に「なにかは未知性でなくてそれは原価管理でない」ということは本当でないとするとそれは君らしくない fact5: 「仮にマッチングするとしたら分かたない」物はある fact6: もしも「このプロジェクターは狡賢くないけれど有る有る」ということは間違っているとしたら判別し易くない fact7: 「もしも「「覚醒しなくて加えてマッチングする」ということは事実だ」ということは確かでないなら分かたない」ものはある fact8: 「仮に覚醒しないしマッチングしないなら分かたない」ものはある fact9: 「もし「煩わしくないし加えて娩出しない」ということは誤りだとすれば御寒くない」ものはある fact10: 「「なにかはマッチングしなくてそれは遠くない」ということは本当である」ということは誤っていれば安売り店でない fact11: 「ある物は気難しくないしその上忍び入らない」ということは誤っていれば度し難くない
fact1 -> hypothesis;
「仮に「気難しくなくて忍び入らない」ということは成り立たないとしたら度し難くない」ものはある
fact12 -> int1: 「この高校卒業は気難しくなくておまけに忍び入らない」ということは確かでないとすると度し難くない; int1 -> hypothesis;
$facts$ = fact1: もしも「その不適当は覚醒しないしおまけにマッチングしない」ということは誤っているとしたら分かつということはない fact2: 「「覚醒するし加えてマッチングしない」ということは成り立つということはないとすると分かたない」物はある fact3: 「「発酵乳である」ということは事実なら入り易いということはない」ものはある fact4: もし仮に「なにかは未知性でなくてそれは原価管理でない」ということは本当でないとするとそれは君らしくない fact5: 「仮にマッチングするとしたら分かたない」物はある fact6: もしも「このプロジェクターは狡賢くないけれど有る有る」ということは間違っているとしたら判別し易くない fact7: 「もしも「「覚醒しなくて加えてマッチングする」ということは事実だ」ということは確かでないなら分かたない」ものはある fact8: 「仮に覚醒しないしマッチングしないなら分かたない」ものはある fact9: 「もし「煩わしくないし加えて娩出しない」ということは誤りだとすれば御寒くない」ものはある fact10: 「「なにかはマッチングしなくてそれは遠くない」ということは本当である」ということは誤っていれば安売り店でない fact11: 「ある物は気難しくないしその上忍び入らない」ということは誤っていれば度し難くない ; $hypothesis$ = 「仮に「覚醒しなくてかつマッチングしない」ということは事実と異なるとすると分かたない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしも「その不適当は覚醒しないしおまけにマッチングしない」ということは誤っているとしたら分かつということはない
事実2: 「「覚醒するし加えてマッチングしない」ということは成り立つということはないとすると分かたない」物はある
事実3: 「「発酵乳である」ということは事実なら入り易いということはない」ものはある
事実4: もし仮に「なにかは未知性でなくてそれは原価管理でない」ということは本当でないとするとそれは君らしくない
事実5: 「仮にマッチングするとしたら分かたない」物はある
事実6: もしも「このプロジェクターは狡賢くないけれど有る有る」ということは間違っているとしたら判別し易くない
事実7: 「もしも「「覚醒しなくて加えてマッチングする」ということは事実だ」ということは確かでないなら分かたない」ものはある
事実8: 「仮に覚醒しないしマッチングしないなら分かたない」ものはある
事実9: 「もし「煩わしくないし加えて娩出しない」ということは誤りだとすれば御寒くない」ものはある
事実10: 「「なにかはマッチングしなくてそれは遠くない」ということは本当である」ということは誤っていれば安売り店でない
事実11: 「ある物は気難しくないしその上忍び入らない」ということは誤っていれば度し難くない

仮説: 「仮に「覚醒しなくてかつマッチングしない」ということは事実と異なるとすると分かたない」ものはある
1. 事実1から、仮説が導かれる

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