あの大八車ははぐらない
fact1: 「もしもこの塩鮭がはぐらないかＥＡ点でないならばその注意喚起はＥＡ点でない」ということは真実だ fact2: あるものが失明しないなら血腥くない fact3: 生臭くて大きくないものは描写しない fact4: あの大八車は大和魂でない fact5: そのＧＨＲＰはスペシャリストだ fact6: もしこの平安文化が学者グループであるならこの塩鮭は学者グループだ fact7: もしも何かは通り難いということはないならば「それは血腥い」ということは事実と異なる fact8: 学者グループは失明しないか通り難くないかあるいは両方ともである fact9: もし仮になにがしかの物が失明しないならはぐるしさらに血腥い fact10: あの大八車は中国産であるがしかし確認し易くないなら連帯保証しない fact11: あの大八車は確認し易い fact12: あの大八車は絶句である一方で偽さない fact13: あの大八車はＥＡ点だということはない fact14: あのＤＮＡ分子ははぐるということはない fact15: もし焦げ臭いものは理解し難くないとしたら通り難いということはない fact16: 「何らかのものは田舎臭い一方で手広くない」ということは事実と異なるとしたらそれは田舎臭くない fact17: もしも何かは田舎臭くないならそれは学者グループでフルネームである fact18: 血腥くない物ははぐらないかあるいはＥＡ点でないか両方ともだ fact19: もし確認し易い物はＥＡ点でないとしたらそれははぐらない fact20: もしそのＧＨＲＰはスペシャリストなら「この平安文化は田舎臭いけれど手広くない」ということは確かでない
fact19 -> int1: もしもあの大八車は確認し易いがしかしＥＡ点でないならばそれははぐるということはない; fact11 & fact13 -> int2: あの大八車は確認し易いけれどＥＡ点でない; int1 & int2 -> hypothesis;
fact19 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact11 & fact13 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
「その注意喚起はＥＡ点でない」ということは成り立つ
fact25 -> int3: もしもこの塩鮭が血腥くないとするとそれははぐらないかまたはＥＡ点でないかもしくはどちらもである; fact22 -> int4: もしこの塩鮭が学者グループだとするとそれは失明するということはないかそれは通り難くないかもしくはどちらもである; fact21 -> int5: 仮にこの平安文化が田舎臭くないとすると学者グループであるしフルネームである; fact24 -> int6: 「この平安文化は田舎臭いが手広いということはない」ということは誤りであるならそれは田舎臭くない; fact28 & fact27 -> int7: 「この平安文化は田舎臭いが手広くない」ということは成り立たない; int6 & int7 -> int8: この平安文化は田舎臭くない; int5 & int8 -> int9: この平安文化は学者グループであるし更にフルネームである; int9 -> int10: この平安文化は学者グループだ; fact23 & int10 -> int11: この塩鮭は学者グループだ; int4 & int11 -> int12: この塩鮭は失明しないか通り難くないかまたは両方ともだ; fact26 -> int13: もし仮にこの塩鮭が失明しないとすると血腥くない; fact30 -> int14: 仮にこの塩鮭が通り難くないとしたら血腥いということはない; int12 & int13 & int14 -> int15: この塩鮭は血腥くない; int3 & int15 -> int16: この塩鮭ははぐらないかもしくはそれはＥＡ点でないかまたは両方である; fact29 & int16 -> hypothesis;
$facts$ = fact1: 「もしもこの塩鮭がはぐらないかＥＡ点でないならばその注意喚起はＥＡ点でない」ということは真実だ fact2: あるものが失明しないなら血腥くない fact3: 生臭くて大きくないものは描写しない fact4: あの大八車は大和魂でない fact5: そのＧＨＲＰはスペシャリストだ fact6: もしこの平安文化が学者グループであるならこの塩鮭は学者グループだ fact7: もしも何かは通り難いということはないならば「それは血腥い」ということは事実と異なる fact8: 学者グループは失明しないか通り難くないかあるいは両方ともである fact9: もし仮になにがしかの物が失明しないならはぐるしさらに血腥い fact10: あの大八車は中国産であるがしかし確認し易くないなら連帯保証しない fact11: あの大八車は確認し易い fact12: あの大八車は絶句である一方で偽さない fact13: あの大八車はＥＡ点だということはない fact14: あのＤＮＡ分子ははぐるということはない fact15: もし焦げ臭いものは理解し難くないとしたら通り難いということはない fact16: 「何らかのものは田舎臭い一方で手広くない」ということは事実と異なるとしたらそれは田舎臭くない fact17: もしも何かは田舎臭くないならそれは学者グループでフルネームである fact18: 血腥くない物ははぐらないかあるいはＥＡ点でないか両方ともだ fact19: もし確認し易い物はＥＡ点でないとしたらそれははぐらない fact20: もしそのＧＨＲＰはスペシャリストなら「この平安文化は田舎臭いけれど手広くない」ということは確かでない ; $hypothesis$ = あの大八車ははぐらない ; $proof$ = 
fact19 -> int1: もしもあの大八車は確認し易いがしかしＥＡ点でないならばそれははぐるということはない; fact11 & fact13 -> int2: あの大八車は確認し易いけれどＥＡ点でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「もしもこの塩鮭がはぐらないかＥＡ点でないならばその注意喚起はＥＡ点でない」ということは真実だ
事実2: あるものが失明しないなら血腥くない
事実3: 生臭くて大きくないものは描写しない
事実4: あの大八車は大和魂でない
事実5: そのＧＨＲＰはスペシャリストだ
事実6: もしこの平安文化が学者グループであるならこの塩鮭は学者グループだ
事実7: もしも何かは通り難いということはないならば「それは血腥い」ということは事実と異なる
事実8: 学者グループは失明しないか通り難くないかあるいは両方ともである
事実9: もし仮になにがしかの物が失明しないならはぐるしさらに血腥い
事実10: あの大八車は中国産であるがしかし確認し易くないなら連帯保証しない
事実11: あの大八車は確認し易い
事実12: あの大八車は絶句である一方で偽さない
事実13: あの大八車はＥＡ点だということはない
事実14: あのＤＮＡ分子ははぐるということはない
事実15: もし焦げ臭いものは理解し難くないとしたら通り難いということはない
事実16: 「何らかのものは田舎臭い一方で手広くない」ということは事実と異なるとしたらそれは田舎臭くない
事実17: もしも何かは田舎臭くないならそれは学者グループでフルネームである
事実18: 血腥くない物ははぐらないかあるいはＥＡ点でないか両方ともだ
事実19: もし確認し易い物はＥＡ点でないとしたらそれははぐらない
事実20: もしそのＧＨＲＰはスペシャリストなら「この平安文化は田舎臭いけれど手広くない」ということは確かでない

仮説: あの大八車ははぐらない
1. 事実19から、推論1: "もしもあの大八車は確認し易いがしかしＥＡ点でないならばそれははぐるということはない"が導かれる
2. 事実11と事実13から、推論2: "あの大八車は確認し易いけれどＥＡ点でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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