「この軍使は解け易いししかもいとおしい」ということは成り立たない
fact1: もしもこの軍使は齎せるとすれば「忌まわしい」ということは真実だ fact2: 忌まわしい物は解け易い fact3: あの精緻化は立て難くない fact4: 「この軍使は齎せる」ということは真実だ fact5: 「この河川自流水は齎せる」ということは真実だ fact6: 仮にあの精緻化が立て難くないとするとこの軍使はいとおしいがしかし年表であるということはない
fact6 & fact3 -> int1: この軍使はいとおしいがそれは年表でない; int1 -> int2: この軍使はいとおしい; fact2 -> int3: もし仮にこの軍使が忌まわしいとしたら解け易い; fact4 & fact1 -> int4: この軍使は忌まわしい; int3 & int4 -> int5: この軍使は解け易い; int2 & int5 -> hypothesis;
fact6 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: {AA}{b}; fact2 -> int3: {C}{b} -> {B}{b}; fact4 & fact1 -> int4: {C}{b}; int3 & int4 -> int5: {B}{b}; int2 & int5 -> hypothesis;
$facts$ = fact1: もしもこの軍使は齎せるとすれば「忌まわしい」ということは真実だ fact2: 忌まわしい物は解け易い fact3: あの精緻化は立て難くない fact4: 「この軍使は齎せる」ということは真実だ fact5: 「この河川自流水は齎せる」ということは真実だ fact6: 仮にあの精緻化が立て難くないとするとこの軍使はいとおしいがしかし年表であるということはない ; $hypothesis$ = 「この軍使は解け易いししかもいとおしい」ということは成り立たない ; $proof$ = 
fact6 & fact3 -> int1: この軍使はいとおしいがそれは年表でない; int1 -> int2: この軍使はいとおしい; fact2 -> int3: もし仮にこの軍使が忌まわしいとしたら解け易い; fact4 & fact1 -> int4: この軍使は忌まわしい; int3 & int4 -> int5: この軍使は解け易い; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もしもこの軍使は齎せるとすれば「忌まわしい」ということは真実だ
事実2: 忌まわしい物は解け易い
事実3: あの精緻化は立て難くない
事実4: 「この軍使は齎せる」ということは真実だ
事実5: 「この河川自流水は齎せる」ということは真実だ
事実6: 仮にあの精緻化が立て難くないとするとこの軍使はいとおしいがしかし年表であるということはない

仮説: 「この軍使は解け易いししかもいとおしい」ということは成り立たない
1. 事実6と事実3から、推論1: "この軍使はいとおしいがそれは年表でない"が導かれる
2. 推論1から、推論2: "この軍使はいとおしい"が導かれる
3. 事実2から、推論3: "もし仮にこの軍使が忌まわしいとしたら解け易い"が導かれる
4. 事実4と事実1から、推論4: "この軍使は忌まわしい"が導かれる
5. 推論3と推論4から、推論5: "この軍使は解け易い"が導かれる
6. 推論2と推論5から、仮説が否定される

よって、仮説が否定されました。