この関係者全員は連基通である一方で書跡でない
fact1: もし仮にこの登録時が書跡であるとするとこの関係者全員が連基通だけどそれは書跡であるということはない fact2: この登録時は引き出し易い fact3: この治療理論が付属するとすればこの登録時は付属する fact4: この登録時は生え易い一方で連基通でない fact5: 「生え易くないものは書跡であるし汚らしい」ということは成り立つ fact6: そのノンポリは労働委員会であるならば書跡である fact7: この関係者全員は宿営地である fact8: この登録時は汚らしいとすれば「この関係者全員は汚らしくない」ということは成り立つ fact9: もし仮にこの登録時は付属するとしたら「汚らしいがしかし生え易くない」ということは成り立つということはない fact10: 「この登録時は汚らしくて生え易い」ということは事実だ fact11: この関係者全員は生え易い fact12: もしもこの関係者全員が汚らしいならそれは書跡である fact13: もし仮に「なにかは書跡だ」ということは成り立つとすれば生え易い fact14: 仮にこの関係者全員が汚らしいならこの登録時は汚らしくない fact15: もし仮にとあるものが汚らしいならそれは書跡である
fact10 -> int1: この登録時は汚らしい; fact15 -> int2: もしもこの登録時が汚らしいとすれば書跡である; int1 & int2 -> int3: この登録時は書跡である; int3 & fact1 -> hypothesis;
「この関係者全員は連基通であるが書跡でない」ということは成り立たない
$facts$ = fact1: もし仮にこの登録時が書跡であるとするとこの関係者全員が連基通だけどそれは書跡であるということはない fact2: この登録時は引き出し易い fact3: この治療理論が付属するとすればこの登録時は付属する fact4: この登録時は生え易い一方で連基通でない fact5: 「生え易くないものは書跡であるし汚らしい」ということは成り立つ fact6: そのノンポリは労働委員会であるならば書跡である fact7: この関係者全員は宿営地である fact8: この登録時は汚らしいとすれば「この関係者全員は汚らしくない」ということは成り立つ fact9: もし仮にこの登録時は付属するとしたら「汚らしいがしかし生え易くない」ということは成り立つということはない fact10: 「この登録時は汚らしくて生え易い」ということは事実だ fact11: この関係者全員は生え易い fact12: もしもこの関係者全員が汚らしいならそれは書跡である fact13: もし仮に「なにかは書跡だ」ということは成り立つとすれば生え易い fact14: 仮にこの関係者全員が汚らしいならこの登録時は汚らしくない fact15: もし仮にとあるものが汚らしいならそれは書跡である ; $hypothesis$ = この関係者全員は連基通である一方で書跡でない ; $proof$ = 
fact10 -> int1: この登録時は汚らしい; fact15 -> int2: もしもこの登録時が汚らしいとすれば書跡である; int1 & int2 -> int3: この登録時は書跡である; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの登録時が書跡であるとするとこの関係者全員が連基通だけどそれは書跡であるということはない
事実2: この登録時は引き出し易い
事実3: この治療理論が付属するとすればこの登録時は付属する
事実4: この登録時は生え易い一方で連基通でない
事実5: 「生え易くないものは書跡であるし汚らしい」ということは成り立つ
事実6: そのノンポリは労働委員会であるならば書跡である
事実7: この関係者全員は宿営地である
事実8: この登録時は汚らしいとすれば「この関係者全員は汚らしくない」ということは成り立つ
事実9: もし仮にこの登録時は付属するとしたら「汚らしいがしかし生え易くない」ということは成り立つということはない
事実10: 「この登録時は汚らしくて生え易い」ということは事実だ
事実11: この関係者全員は生え易い
事実12: もしもこの関係者全員が汚らしいならそれは書跡である
事実13: もし仮に「なにかは書跡だ」ということは成り立つとすれば生え易い
事実14: 仮にこの関係者全員が汚らしいならこの登録時は汚らしくない
事実15: もし仮にとあるものが汚らしいならそれは書跡である

仮説: この関係者全員は連基通である一方で書跡でない
1. 事実10から、推論1: "この登録時は汚らしい"が導かれる
2. 事実15から、推論2: "もしもこの登録時が汚らしいとすれば書跡である"が導かれる
3. 推論1と推論2から、推論3: "この登録時は書跡である"が導かれる
4. 推論3と事実1から、仮説が導かれる

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