「その運転技術は印象深くない」ということは成り立つ
fact1: その運転技術はファスナーでないが敢行する fact2: その運転技術は施工出来る fact3: その運転技術は冷たくないが施工出来るなら印象深いということはない fact4: 高曇りは印象深い fact5: もしあのケールが施工出来るしさらに秋頃であるとしたら言い交わすということはない fact6: 仮に安しないものが印象深いとすればそれは算盤型でない fact7: その運転技術は冷たくないがしかし施工出来る
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
「その運転技術は印象深い」ということは本当である
fact8 -> int1: 仮にその運転技術が高曇りだとすればそれは印象深い;
$facts$ = fact1: その運転技術はファスナーでないが敢行する fact2: その運転技術は施工出来る fact3: その運転技術は冷たくないが施工出来るなら印象深いということはない fact4: 高曇りは印象深い fact5: もしあのケールが施工出来るしさらに秋頃であるとしたら言い交わすということはない fact6: 仮に安しないものが印象深いとすればそれは算盤型でない fact7: その運転技術は冷たくないがしかし施工出来る ; $hypothesis$ = 「その運転技術は印象深くない」ということは成り立つ ; $proof$ = 
fact3 & fact7 -> hypothesis; __PROVED__
事実1: その運転技術はファスナーでないが敢行する
事実2: その運転技術は施工出来る
事実3: その運転技術は冷たくないが施工出来るなら印象深いということはない
事実4: 高曇りは印象深い
事実5: もしあのケールが施工出来るしさらに秋頃であるとしたら言い交わすということはない
事実6: 仮に安しないものが印象深いとすればそれは算盤型でない
事実7: その運転技術は冷たくないがしかし施工出来る

仮説: 「その運転技術は印象深くない」ということは成り立つ
1. 事実3と事実7から、仮説が導かれる

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