「あの焼き栗は外し易いけれど浮かばれない」ということは成り立つということはない
fact1: あの一般図書は諳んずる fact2: もし仮にあの焼き栗が浮かばれるとするとあのシスターは諳んぜないけど取っ付き易い fact3: もしなにがしかの物が取っ付き易いとしたら外し易いが浮かばれない fact4: 何らかの物が諳んぜない一方でそれが取っ付き易いならばそれは言う fact5: そのオフホワイトは取っ付き易い fact6: あの焼き栗は浮かばれない fact7: あの焼き栗は消し止める fact8: あの焼き栗は確からしい fact9: もし仮になにがしかの物が浮かばれるとしたら諳んずる fact10: 外し易い物は諳んずる fact11: もし仮にあの焼き栗が取っ付き易いとすると浮かばれない fact12: あの焼き栗は取っ付き易くてそれに諳んずる fact13: もし仮にあるものが諳んずればそれは取っ付き易いしおまけに浮かばれない
fact12 -> int1: あの焼き栗は取っ付き易い; fact3 -> int2: もしもあの焼き栗が取っ付き易いならそれは外し易いしそれは浮かばれない; int1 & int2 -> hypothesis;
fact12 -> int1: {A}{a}; fact3 -> int2: {A}{a} -> ({D}{a} & ¬{C}{a}); int1 & int2 -> hypothesis;
あのシスターは言うしかつ吸水する
fact15 -> int3: もしもあのシスターが諳んずるということはないが取っ付き易いとするとそれは言う;
$facts$ = fact1: あの一般図書は諳んずる fact2: もし仮にあの焼き栗が浮かばれるとするとあのシスターは諳んぜないけど取っ付き易い fact3: もしなにがしかの物が取っ付き易いとしたら外し易いが浮かばれない fact4: 何らかの物が諳んぜない一方でそれが取っ付き易いならばそれは言う fact5: そのオフホワイトは取っ付き易い fact6: あの焼き栗は浮かばれない fact7: あの焼き栗は消し止める fact8: あの焼き栗は確からしい fact9: もし仮になにがしかの物が浮かばれるとしたら諳んずる fact10: 外し易い物は諳んずる fact11: もし仮にあの焼き栗が取っ付き易いとすると浮かばれない fact12: あの焼き栗は取っ付き易くてそれに諳んずる fact13: もし仮にあるものが諳んずればそれは取っ付き易いしおまけに浮かばれない ; $hypothesis$ = 「あの焼き栗は外し易いけれど浮かばれない」ということは成り立つということはない ; $proof$ = 
fact12 -> int1: あの焼き栗は取っ付き易い; fact3 -> int2: もしもあの焼き栗が取っ付き易いならそれは外し易いしそれは浮かばれない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの一般図書は諳んずる
事実2: もし仮にあの焼き栗が浮かばれるとするとあのシスターは諳んぜないけど取っ付き易い
事実3: もしなにがしかの物が取っ付き易いとしたら外し易いが浮かばれない
事実4: 何らかの物が諳んぜない一方でそれが取っ付き易いならばそれは言う
事実5: そのオフホワイトは取っ付き易い
事実6: あの焼き栗は浮かばれない
事実7: あの焼き栗は消し止める
事実8: あの焼き栗は確からしい
事実9: もし仮になにがしかの物が浮かばれるとしたら諳んずる
事実10: 外し易い物は諳んずる
事実11: もし仮にあの焼き栗が取っ付き易いとすると浮かばれない
事実12: あの焼き栗は取っ付き易くてそれに諳んずる
事実13: もし仮にあるものが諳んずればそれは取っ付き易いしおまけに浮かばれない

仮説: 「あの焼き栗は外し易いけれど浮かばれない」ということは成り立つということはない
1. 事実12から、推論1: "あの焼き栗は取っ付き易い"が導かれる
2. 事実3から、推論2: "もしもあの焼き栗が取っ付き易いならそれは外し易いしそれは浮かばれない"が導かれる
3. 推論1と推論2から、仮説が否定される

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