その生徒さんは警備しない
fact1: あるものが不足し易くないとすると乾杯しなくておまけにそれは喋り難くない fact2: その生徒さんは警備しない fact3: もし仮に「その生徒さんは警備するかあるいは喋り難いかもしくは両方だ」ということは成り立つということはないとすれば「その靭性は警備する」ということは成り立つということはない fact4: この証人喚問は警備するということはない fact5: その活動費は警備しない fact6: もし仮にこの岡山県下が入閣だとするとそのリスクヘッジは不足し易くないけど外為市場である fact7: 仮にこの岡山県下が厳しかないとすると入閣だけれど指導階級でない fact8: 仮に何らかのものは乾杯するということはなくてしかも喋り難くないとするとそれは警備する fact9: もしもそのリスクヘッジが警備すればその生徒さんは警備する
fact2 -> hypothesis;
fact2 -> hypothesis;
その靭性は警備するということはない
$facts$ = fact1: あるものが不足し易くないとすると乾杯しなくておまけにそれは喋り難くない fact2: その生徒さんは警備しない fact3: もし仮に「その生徒さんは警備するかあるいは喋り難いかもしくは両方だ」ということは成り立つということはないとすれば「その靭性は警備する」ということは成り立つということはない fact4: この証人喚問は警備するということはない fact5: その活動費は警備しない fact6: もし仮にこの岡山県下が入閣だとするとそのリスクヘッジは不足し易くないけど外為市場である fact7: 仮にこの岡山県下が厳しかないとすると入閣だけれど指導階級でない fact8: 仮に何らかのものは乾杯するということはなくてしかも喋り難くないとするとそれは警備する fact9: もしもそのリスクヘッジが警備すればその生徒さんは警備する ; $hypothesis$ = その生徒さんは警備しない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: あるものが不足し易くないとすると乾杯しなくておまけにそれは喋り難くない
事実2: その生徒さんは警備しない
事実3: もし仮に「その生徒さんは警備するかあるいは喋り難いかもしくは両方だ」ということは成り立つということはないとすれば「その靭性は警備する」ということは成り立つということはない
事実4: この証人喚問は警備するということはない
事実5: その活動費は警備しない
事実6: もし仮にこの岡山県下が入閣だとするとそのリスクヘッジは不足し易くないけど外為市場である
事実7: 仮にこの岡山県下が厳しかないとすると入閣だけれど指導階級でない
事実8: 仮に何らかのものは乾杯するということはなくてしかも喋り難くないとするとそれは警備する
事実9: もしもそのリスクヘッジが警備すればその生徒さんは警備する

仮説: その生徒さんは警備しない
1. 事実2から、仮説が導かれる

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