あのソフトボールは拙くないけれど通話する
fact1: この異種は通話しないけど塗布する fact2: あのソフトボールは嫌味っぽくないけれどそれはまあるい fact3: このフランチェスコ派は娘らしいということはない一方でそれは着れる fact4: あのソフトボールは過不足無くない fact5: 「その吉本所為は拙くない」ということは確かだ fact6: その吉本所為はＣ四Ｂでない fact7: あのソフトボールは通話する fact8: あの一溜まりは通話しない fact9: あのソフトボールは心無くない fact10: この御仕えは拙くない fact11: もし何かは殉教すればそれは地上勤務である fact12: 地上勤務は懐かしということはないけど知的活動である fact13: このガソリン・エンジンは通話しないけど街らしい fact14: あのソフトボールは近付き易いということはないがしかし通話する fact15: あのソフトボールは砒素でない fact16: あのソフトボールは拙くない一方で通話する fact17: あのソフトボールは待ち受けないがしかしそれは通話する fact18: 仮に何らかの物は地上勤務でないとしたら「それは拙くなくてそれは通話する」ということは成り立たない
fact16 -> hypothesis;
fact16 -> hypothesis;
「「あのソフトボールは拙くないがしかしそれは通話する」ということは成り立たない」ということは正しい
fact19 -> int1: もしあのソフトボールは地上勤務だということはないとしたら「拙くない一方で通話する」ということは成り立たない;
$facts$ = fact1: この異種は通話しないけど塗布する fact2: あのソフトボールは嫌味っぽくないけれどそれはまあるい fact3: このフランチェスコ派は娘らしいということはない一方でそれは着れる fact4: あのソフトボールは過不足無くない fact5: 「その吉本所為は拙くない」ということは確かだ fact6: その吉本所為はＣ四Ｂでない fact7: あのソフトボールは通話する fact8: あの一溜まりは通話しない fact9: あのソフトボールは心無くない fact10: この御仕えは拙くない fact11: もし何かは殉教すればそれは地上勤務である fact12: 地上勤務は懐かしということはないけど知的活動である fact13: このガソリン・エンジンは通話しないけど街らしい fact14: あのソフトボールは近付き易いということはないがしかし通話する fact15: あのソフトボールは砒素でない fact16: あのソフトボールは拙くない一方で通話する fact17: あのソフトボールは待ち受けないがしかしそれは通話する fact18: 仮に何らかの物は地上勤務でないとしたら「それは拙くなくてそれは通話する」ということは成り立たない ; $hypothesis$ = あのソフトボールは拙くないけれど通話する ; $proof$ = 
fact16 -> hypothesis; __PROVED__
事実1: この異種は通話しないけど塗布する
事実2: あのソフトボールは嫌味っぽくないけれどそれはまあるい
事実3: このフランチェスコ派は娘らしいということはない一方でそれは着れる
事実4: あのソフトボールは過不足無くない
事実5: 「その吉本所為は拙くない」ということは確かだ
事実6: その吉本所為はＣ四Ｂでない
事実7: あのソフトボールは通話する
事実8: あの一溜まりは通話しない
事実9: あのソフトボールは心無くない
事実10: この御仕えは拙くない
事実11: もし何かは殉教すればそれは地上勤務である
事実12: 地上勤務は懐かしということはないけど知的活動である
事実13: このガソリン・エンジンは通話しないけど街らしい
事実14: あのソフトボールは近付き易いということはないがしかし通話する
事実15: あのソフトボールは砒素でない
事実16: あのソフトボールは拙くない一方で通話する
事実17: あのソフトボールは待ち受けないがしかしそれは通話する
事実18: 仮に何らかの物は地上勤務でないとしたら「それは拙くなくてそれは通話する」ということは成り立たない

仮説: あのソフトボールは拙くないけれど通話する
1. 事実16から、仮説が導かれる

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