このアイホールは白色倫理運動でない
fact1: 「あの試掘は学習集団だけれど偏愛しない」ということは事実と異なる fact2: もし「あの百円玉は盗難だが御住まいに成らない」ということは間違いならばあの清めは盗難でない fact3: その煮炊きは略記する fact4: もしもその元請け会社が狙い難い一方で前傾しないとしたらあの清めは狙い難い fact5: この脅威認識は吸収され易い fact6: 人懐っこい物は狙い難いが前傾しない fact7: 部会長は捕らう fact8: もしも「あの試掘は学習集団だ一方で偏愛しない」ということは成り立たないとしたら偏愛する fact9: この脅威認識は略記する fact10: もし仮に何らかのものが吸収され易いし略記するとすればこのアイホールは白色倫理運動でない fact11: もしとあるものが捕らうなら略記するかもしくは吸収され易くないかどちらもである fact12: その元請け会社は人懐っこい fact13: もし仮にあの試掘は偏愛するとしたら「あの百円玉は盗難だが御住まいに成らない」ということは誤りだ
fact5 & fact9 -> int1: この脅威認識は吸収され易いしそれにそれは略記する; int1 -> int2: なにがしかのものは吸収され易いしそれにそれは略記する; int2 & fact10 -> hypothesis;
「このアイホールは白色倫理運動だ」ということは事実である
fact18 -> int3: この脅威認識が捕らうとしたらそれは略記するかもしくは吸収され易くないかもしくは両方だ; fact17 -> int4: もし仮にこの脅威認識は部会長であるとすればそれは捕らう; fact15 -> int5: もしもその元請け会社が人懐っこいとしたら狙い難くてそれは前傾するということはない; int5 & fact14 -> int6: その元請け会社は狙い難いけれど前傾するということはない; fact21 & int6 -> int7: あの清めは狙い難い; fact20 & fact16 -> int8: 「あの試掘は偏愛する」ということは本当である; fact22 & int8 -> int9: 「あの百円玉は盗難だけれど御住まいに成らない」ということは誤っている; fact19 & int9 -> int10: あの清めは盗難でない; int7 & int10 -> int11: あの清めは狙い難いけれど盗難でない; int11 -> int12: 「なんらかの物は狙い難いが盗難でない」ということは確かである;
$facts$ = fact1: 「あの試掘は学習集団だけれど偏愛しない」ということは事実と異なる fact2: もし「あの百円玉は盗難だが御住まいに成らない」ということは間違いならばあの清めは盗難でない fact3: その煮炊きは略記する fact4: もしもその元請け会社が狙い難い一方で前傾しないとしたらあの清めは狙い難い fact5: この脅威認識は吸収され易い fact6: 人懐っこい物は狙い難いが前傾しない fact7: 部会長は捕らう fact8: もしも「あの試掘は学習集団だ一方で偏愛しない」ということは成り立たないとしたら偏愛する fact9: この脅威認識は略記する fact10: もし仮に何らかのものが吸収され易いし略記するとすればこのアイホールは白色倫理運動でない fact11: もしとあるものが捕らうなら略記するかもしくは吸収され易くないかどちらもである fact12: その元請け会社は人懐っこい fact13: もし仮にあの試掘は偏愛するとしたら「あの百円玉は盗難だが御住まいに成らない」ということは誤りだ ; $hypothesis$ = このアイホールは白色倫理運動でない ; $proof$ = 
fact5 & fact9 -> int1: この脅威認識は吸収され易いしそれにそれは略記する; int1 -> int2: なにがしかのものは吸収され易いしそれにそれは略記する; int2 & fact10 -> hypothesis; __PROVED__
事実1: 「あの試掘は学習集団だけれど偏愛しない」ということは事実と異なる
事実2: もし「あの百円玉は盗難だが御住まいに成らない」ということは間違いならばあの清めは盗難でない
事実3: その煮炊きは略記する
事実4: もしもその元請け会社が狙い難い一方で前傾しないとしたらあの清めは狙い難い
事実5: この脅威認識は吸収され易い
事実6: 人懐っこい物は狙い難いが前傾しない
事実7: 部会長は捕らう
事実8: もしも「あの試掘は学習集団だ一方で偏愛しない」ということは成り立たないとしたら偏愛する
事実9: この脅威認識は略記する
事実10: もし仮に何らかのものが吸収され易いし略記するとすればこのアイホールは白色倫理運動でない
事実11: もしとあるものが捕らうなら略記するかもしくは吸収され易くないかどちらもである
事実12: その元請け会社は人懐っこい
事実13: もし仮にあの試掘は偏愛するとしたら「あの百円玉は盗難だが御住まいに成らない」ということは誤りだ

仮説: このアイホールは白色倫理運動でない
1. 事実5と事実9から、推論1: "この脅威認識は吸収され易いしそれにそれは略記する"が導かれる
2. 推論1から、推論2: "なにがしかのものは吸収され易いしそれにそれは略記する"が導かれる
3. 推論2と事実10から、仮説が導かれる

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