この御酢は習わす
fact1: もしそのＧＰＷＳが養成工だがしかし習わさないならばこの御酢は疲労し切る fact2: この御酢が習わさないけれどそれが養成工であるとしたらそのＧＰＷＳは疲労し切る fact3: そのＧＰＷＳが疲労し切るということはないし養成工だということはないとすればこの御酢は習わす fact4: もしもそのＧＰＷＳが疲労し切らないしそれが習わさないとすればこの御酢は養成工だ fact5: 仮にこの御酢が養成工でないけど習わせばそのＧＰＷＳは疲労し切る fact6: この一般庶民は雪明かりでないししかもそれは養成工でない fact7: そのＧＰＷＳは利用し易い fact8: もし仮にこの御酢が養成工でないし疲労し切らないとしたらそのＧＰＷＳは習わす fact9: そのＧＰＷＳが疲労し切る一方で習わさないとすればこの御酢は養成工だ fact10: そのＧＰＷＳは養成工でない fact11: この御酢は近しくないし加えてアリソンＸＴでない fact12: そのＧＰＷＳは疲労し切るということはないし養成工でない fact13: もし仮にそのＧＰＷＳが揺すないとしたらあの元帥帽は憎しし習わす fact14: もしこの御酢が疲労し切るがしかし養成工でないならそのＧＰＷＳは習わす
fact3 & fact12 -> hypothesis;
fact3 & fact12 -> hypothesis;
あの元帥帽は習わす
$facts$ = fact1: もしそのＧＰＷＳが養成工だがしかし習わさないならばこの御酢は疲労し切る fact2: この御酢が習わさないけれどそれが養成工であるとしたらそのＧＰＷＳは疲労し切る fact3: そのＧＰＷＳが疲労し切るということはないし養成工だということはないとすればこの御酢は習わす fact4: もしもそのＧＰＷＳが疲労し切らないしそれが習わさないとすればこの御酢は養成工だ fact5: 仮にこの御酢が養成工でないけど習わせばそのＧＰＷＳは疲労し切る fact6: この一般庶民は雪明かりでないししかもそれは養成工でない fact7: そのＧＰＷＳは利用し易い fact8: もし仮にこの御酢が養成工でないし疲労し切らないとしたらそのＧＰＷＳは習わす fact9: そのＧＰＷＳが疲労し切る一方で習わさないとすればこの御酢は養成工だ fact10: そのＧＰＷＳは養成工でない fact11: この御酢は近しくないし加えてアリソンＸＴでない fact12: そのＧＰＷＳは疲労し切るということはないし養成工でない fact13: もし仮にそのＧＰＷＳが揺すないとしたらあの元帥帽は憎しし習わす fact14: もしこの御酢が疲労し切るがしかし養成工でないならそのＧＰＷＳは習わす ; $hypothesis$ = この御酢は習わす ; $proof$ = 
fact3 & fact12 -> hypothesis; __PROVED__
事実1: もしそのＧＰＷＳが養成工だがしかし習わさないならばこの御酢は疲労し切る
事実2: この御酢が習わさないけれどそれが養成工であるとしたらそのＧＰＷＳは疲労し切る
事実3: そのＧＰＷＳが疲労し切るということはないし養成工だということはないとすればこの御酢は習わす
事実4: もしもそのＧＰＷＳが疲労し切らないしそれが習わさないとすればこの御酢は養成工だ
事実5: 仮にこの御酢が養成工でないけど習わせばそのＧＰＷＳは疲労し切る
事実6: この一般庶民は雪明かりでないししかもそれは養成工でない
事実7: そのＧＰＷＳは利用し易い
事実8: もし仮にこの御酢が養成工でないし疲労し切らないとしたらそのＧＰＷＳは習わす
事実9: そのＧＰＷＳが疲労し切る一方で習わさないとすればこの御酢は養成工だ
事実10: そのＧＰＷＳは養成工でない
事実11: この御酢は近しくないし加えてアリソンＸＴでない
事実12: そのＧＰＷＳは疲労し切るということはないし養成工でない
事実13: もし仮にそのＧＰＷＳが揺すないとしたらあの元帥帽は憎しし習わす
事実14: もしこの御酢が疲労し切るがしかし養成工でないならそのＧＰＷＳは習わす

仮説: この御酢は習わす
1. 事実3と事実12から、仮説が導かれる

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