この大略奪は詰め掛ける
fact1: 「この大略奪は挙上する一方で睡眠パターンでない」ということは本当だということはない fact2: 「この大略奪は共同作業する一方でちかちかしない」ということは間違っている fact3: もし仮にこの大略奪が掘り抜けばそれは詰め掛ける fact4: もしも「「この大略奪は共同作業する一方でそれはちかちかしない」ということは成り立たない」ということは真実であるならばそれは掘り抜く fact5: 「この大略奪は参陣するしそれは詰め掛ける」ということは誤りである fact6: もしもこの大略奪はスモッグであるならば掘り抜く fact7: 「このビトーＲ＆Ｄはちかちかする」ということは成り立つ
fact4 & fact2 -> int1: この大略奪は掘り抜く; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「この大略奪は挙上する一方で睡眠パターンでない」ということは本当だということはない fact2: 「この大略奪は共同作業する一方でちかちかしない」ということは間違っている fact3: もし仮にこの大略奪が掘り抜けばそれは詰め掛ける fact4: もしも「「この大略奪は共同作業する一方でそれはちかちかしない」ということは成り立たない」ということは真実であるならばそれは掘り抜く fact5: 「この大略奪は参陣するしそれは詰め掛ける」ということは誤りである fact6: もしもこの大略奪はスモッグであるならば掘り抜く fact7: 「このビトーＲ＆Ｄはちかちかする」ということは成り立つ ; $hypothesis$ = この大略奪は詰め掛ける ; $proof$ = 
fact4 & fact2 -> int1: この大略奪は掘り抜く; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「この大略奪は挙上する一方で睡眠パターンでない」ということは本当だということはない
事実2: 「この大略奪は共同作業する一方でちかちかしない」ということは間違っている
事実3: もし仮にこの大略奪が掘り抜けばそれは詰め掛ける
事実4: もしも「「この大略奪は共同作業する一方でそれはちかちかしない」ということは成り立たない」ということは真実であるならばそれは掘り抜く
事実5: 「この大略奪は参陣するしそれは詰め掛ける」ということは誤りである
事実6: もしもこの大略奪はスモッグであるならば掘り抜く
事実7: 「このビトーＲ＆Ｄはちかちかする」ということは成り立つ

仮説: この大略奪は詰め掛ける
1. 事実4と事実2から、推論1: "この大略奪は掘り抜く"が導かれる
2. 推論1と事実3から、仮説が導かれる

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