「その会計情報はシャンペンでなくてその上銀色でない」ということは事実と異なる
fact1: その人工説は仕入れるしそれは掴み易い fact2: その幣帛は労わる fact3: 仮にその人工説はシャンペンであるなら「その会計情報はシャンペンでないしさらに銀色でない」ということは事実と異なる fact4: 仮にこの積分路が掛かり易くないけれど掴み易いならその人工説は仕入れない fact5: このハザードマップはシャンペンだ fact6: あの農民達は掴み易い fact7: なにかは打ち付けないなら「「それは脱せないけれど犯し易い」ということは確かである」ということは成り立たない fact8: 仮にある物が仕入れればシャンペンである fact9: 仮にその人工説が仕入れないならその会計情報はシャンペンであるということはないしその上それは銀色でない fact10: 「その人工説は馬飼いルールである一方で掴み易くない」ということは嘘だ fact11: なんらかの物が犯し易くないならば掛かり易くないが掴み易い fact12: もしも「あるものは脱せないけれど犯し易い」ということは嘘だとすれば「犯し易くない」ということは確かだ
fact1 -> int1: その人工説は仕入れる; fact8 -> int2: もしその人工説が仕入れるとしたらシャンペンだ; int1 & int2 -> int3: その人工説はシャンペンだ; int3 & fact3 -> hypothesis;
その会計情報はシャンペンでなくて加えて銀色でない
fact14 -> int4: この積分路が犯し易くないとしたら掛かり易くない一方で掴み易い; fact18 -> int5: もしも「この積分路は脱せないけれど犯し易い」ということは間違っているとすれば「それは犯し易くない」ということは本当である; fact16 -> int6: この積分路は打ち付けないとすると「脱せるということはないしその上それは犯し易い」ということは成り立たない;
$facts$ = fact1: その人工説は仕入れるしそれは掴み易い fact2: その幣帛は労わる fact3: 仮にその人工説はシャンペンであるなら「その会計情報はシャンペンでないしさらに銀色でない」ということは事実と異なる fact4: 仮にこの積分路が掛かり易くないけれど掴み易いならその人工説は仕入れない fact5: このハザードマップはシャンペンだ fact6: あの農民達は掴み易い fact7: なにかは打ち付けないなら「「それは脱せないけれど犯し易い」ということは確かである」ということは成り立たない fact8: 仮にある物が仕入れればシャンペンである fact9: 仮にその人工説が仕入れないならその会計情報はシャンペンであるということはないしその上それは銀色でない fact10: 「その人工説は馬飼いルールである一方で掴み易くない」ということは嘘だ fact11: なんらかの物が犯し易くないならば掛かり易くないが掴み易い fact12: もしも「あるものは脱せないけれど犯し易い」ということは嘘だとすれば「犯し易くない」ということは確かだ ; $hypothesis$ = 「その会計情報はシャンペンでなくてその上銀色でない」ということは事実と異なる ; $proof$ = 
fact1 -> int1: その人工説は仕入れる; fact8 -> int2: もしその人工説が仕入れるとしたらシャンペンだ; int1 & int2 -> int3: その人工説はシャンペンだ; int3 & fact3 -> hypothesis; __PROVED__
事実1: その人工説は仕入れるしそれは掴み易い
事実2: その幣帛は労わる
事実3: 仮にその人工説はシャンペンであるなら「その会計情報はシャンペンでないしさらに銀色でない」ということは事実と異なる
事実4: 仮にこの積分路が掛かり易くないけれど掴み易いならその人工説は仕入れない
事実5: このハザードマップはシャンペンだ
事実6: あの農民達は掴み易い
事実7: なにかは打ち付けないなら「「それは脱せないけれど犯し易い」ということは確かである」ということは成り立たない
事実8: 仮にある物が仕入れればシャンペンである
事実9: 仮にその人工説が仕入れないならその会計情報はシャンペンであるということはないしその上それは銀色でない
事実10: 「その人工説は馬飼いルールである一方で掴み易くない」ということは嘘だ
事実11: なんらかの物が犯し易くないならば掛かり易くないが掴み易い
事実12: もしも「あるものは脱せないけれど犯し易い」ということは嘘だとすれば「犯し易くない」ということは確かだ

仮説: 「その会計情報はシャンペンでなくてその上銀色でない」ということは事実と異なる
1. 事実1から、推論1: "その人工説は仕入れる"が導かれる
2. 事実8から、推論2: "もしその人工説が仕入れるとしたらシャンペンだ"が導かれる
3. 推論1と推論2から、推論3: "その人工説はシャンペンだ"が導かれる
4. 推論3と事実3から、仮説が導かれる

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