なんらかの物は光化学反応だということはないし攻撃し易くない
fact1: もしもなにがしかのものが攻撃し易いならばそれは光化学反応だ fact2: なにかは怪しないしおまけに剪定しない fact3: あるものは禍々しかないし卑しない fact4: この怒声は黒板であるかまたは千世界である fact5: もし何らかの物が専門業者ならばそれは攻撃し易い fact6: 「光化学反応だがしかし攻撃し易いということはない」ものはある fact7: 水利システムは専門業者である fact8: 何らかの物は攻撃し易くない fact9: 光化学反応は時代がかるということはなくて良しない fact10: この漁船保険は光化学反応でないしその上攻撃し易くない
fact10 -> hypothesis;
fact10 -> hypothesis;
なにがしかの物が時代はからないしさらに良しない
fact12 -> int1: もしもこの怒声が光化学反応だとすると時代はからないしそれに良しない; fact14 -> int2: この怒声は攻撃し易いならば「それは光化学反応だ」ということは成り立つ; fact13 -> int3: 「この怒声が専門業者ならばあの怒声は攻撃し易い」ということは正しい; fact11 -> int4: もし仮にこの怒声が水利システムなら専門業者である;
$facts$ = fact1: もしもなにがしかのものが攻撃し易いならばそれは光化学反応だ fact2: なにかは怪しないしおまけに剪定しない fact3: あるものは禍々しかないし卑しない fact4: この怒声は黒板であるかまたは千世界である fact5: もし何らかの物が専門業者ならばそれは攻撃し易い fact6: 「光化学反応だがしかし攻撃し易いということはない」ものはある fact7: 水利システムは専門業者である fact8: 何らかの物は攻撃し易くない fact9: 光化学反応は時代がかるということはなくて良しない fact10: この漁船保険は光化学反応でないしその上攻撃し易くない ; $hypothesis$ = なんらかの物は光化学反応だということはないし攻撃し易くない ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが攻撃し易いならばそれは光化学反応だ
事実2: なにかは怪しないしおまけに剪定しない
事実3: あるものは禍々しかないし卑しない
事実4: この怒声は黒板であるかまたは千世界である
事実5: もし何らかの物が専門業者ならばそれは攻撃し易い
事実6: 「光化学反応だがしかし攻撃し易いということはない」ものはある
事実7: 水利システムは専門業者である
事実8: 何らかの物は攻撃し易くない
事実9: 光化学反応は時代がかるということはなくて良しない
事実10: この漁船保険は光化学反応でないしその上攻撃し易くない

仮説: なんらかの物は光化学反応だということはないし攻撃し易くない
1. 事実10から、仮説が導かれる

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