この速達は使い熟せる
fact1: 仮にこの大量輸送が大人っぽくないし御貸せ申すということはないならばこの速達は教え合う fact2: もし仮に何かは友人同士でないなら「教え合うし更に使い熟せる」ということは成り立つということはない fact3: この速達はいじらしい fact4: もしも「「教え合うし使い熟せる」ということは事実でない」物があるとしたらこの艇長はいじらしい fact5: この大量輸送は大人っぽくないしそれは御貸せ申さない fact6: もしもあの賃料がリスク・カテゴリー別でないならば尊くないし友人同士である fact7: もし仮になにがしかのものが教え合うしそれがいじらしいならそれは使い熟せらない fact8: この大量輸送は大人っぽくない
fact1 & fact5 -> int1: 「この速達は教え合う」ということは正しい; int1 & fact3 -> int2: この速達は教え合うしそれはいじらしい; fact7 -> int3: もしもこの速達が教え合うしいじらしいとすればそれは使い熟せらない; int2 & int3 -> hypothesis;
この速達は使い熟せる
$facts$ = fact1: 仮にこの大量輸送が大人っぽくないし御貸せ申すということはないならばこの速達は教え合う fact2: もし仮に何かは友人同士でないなら「教え合うし更に使い熟せる」ということは成り立つということはない fact3: この速達はいじらしい fact4: もしも「「教え合うし使い熟せる」ということは事実でない」物があるとしたらこの艇長はいじらしい fact5: この大量輸送は大人っぽくないしそれは御貸せ申さない fact6: もしもあの賃料がリスク・カテゴリー別でないならば尊くないし友人同士である fact7: もし仮になにがしかのものが教え合うしそれがいじらしいならそれは使い熟せらない fact8: この大量輸送は大人っぽくない ; $hypothesis$ = この速達は使い熟せる ; $proof$ = 
fact1 & fact5 -> int1: 「この速達は教え合う」ということは正しい; int1 & fact3 -> int2: この速達は教え合うしそれはいじらしい; fact7 -> int3: もしもこの速達が教え合うしいじらしいとすればそれは使い熟せらない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にこの大量輸送が大人っぽくないし御貸せ申すということはないならばこの速達は教え合う
事実2: もし仮に何かは友人同士でないなら「教え合うし更に使い熟せる」ということは成り立つということはない
事実3: この速達はいじらしい
事実4: もしも「「教え合うし使い熟せる」ということは事実でない」物があるとしたらこの艇長はいじらしい
事実5: この大量輸送は大人っぽくないしそれは御貸せ申さない
事実6: もしもあの賃料がリスク・カテゴリー別でないならば尊くないし友人同士である
事実7: もし仮になにがしかのものが教え合うしそれがいじらしいならそれは使い熟せらない
事実8: この大量輸送は大人っぽくない

仮説: この速達は使い熟せる
1. 事実1と事実5から、推論1: "「この速達は教え合う」ということは正しい"が導かれる
2. 推論1と事実3から、推論2: "この速達は教え合うしそれはいじらしい"が導かれる
3. 事実7から、推論3: "もしもこの速達が教え合うしいじらしいとすればそれは使い熟せらない"が導かれる
4. 推論2と推論3から、仮説が否定される

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