あのガラス製品は活動し難いけれど限り無くない
fact1: 活動し難くないものは抉り取らない fact2: 仮に「その手櫛は評価資料である」ということは確かであるとすればこの強制徴収は抉り取る fact3: その手櫛が限り無いとするとあのガラス製品はギネスビールだということはない fact4: あのガラス製品は限り無くない fact5: もし仮にこの強制徴収が抉り取るならばあのガラス製品は活動し難いが限り無くない fact6: もし仮にその手櫛が抉り取るということはないならばその扁平上皮癌は評価資料でない fact7: その手櫛はギネスビールであるかまたは評価資料であるか両方だ fact8: もし仮にその手櫛がギネスビールだとするとこの強制徴収は抉り取る
fact7 & fact8 & fact2 -> int1: この強制徴収は抉り取る; int1 & fact5 -> hypothesis;
「その扁平上皮癌は限り無い」ということは正しい
fact10 -> int2: 「その手櫛は活動し難くない」ということは成り立つとすればそれは抉り取るということはない;
$facts$ = fact1: 活動し難くないものは抉り取らない fact2: 仮に「その手櫛は評価資料である」ということは確かであるとすればこの強制徴収は抉り取る fact3: その手櫛が限り無いとするとあのガラス製品はギネスビールだということはない fact4: あのガラス製品は限り無くない fact5: もし仮にこの強制徴収が抉り取るならばあのガラス製品は活動し難いが限り無くない fact6: もし仮にその手櫛が抉り取るということはないならばその扁平上皮癌は評価資料でない fact7: その手櫛はギネスビールであるかまたは評価資料であるか両方だ fact8: もし仮にその手櫛がギネスビールだとするとこの強制徴収は抉り取る ; $hypothesis$ = あのガラス製品は活動し難いけれど限り無くない ; $proof$ = 
fact7 & fact8 & fact2 -> int1: この強制徴収は抉り取る; int1 & fact5 -> hypothesis; __PROVED__
事実1: 活動し難くないものは抉り取らない
事実2: 仮に「その手櫛は評価資料である」ということは確かであるとすればこの強制徴収は抉り取る
事実3: その手櫛が限り無いとするとあのガラス製品はギネスビールだということはない
事実4: あのガラス製品は限り無くない
事実5: もし仮にこの強制徴収が抉り取るならばあのガラス製品は活動し難いが限り無くない
事実6: もし仮にその手櫛が抉り取るということはないならばその扁平上皮癌は評価資料でない
事実7: その手櫛はギネスビールであるかまたは評価資料であるか両方だ
事実8: もし仮にその手櫛がギネスビールだとするとこの強制徴収は抉り取る

仮説: あのガラス製品は活動し難いけれど限り無くない
1. 事実7と事実8と事実2から、推論1: "この強制徴収は抉り取る"が導かれる
2. 推論1と事実5から、仮説が導かれる

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