この案内書は清純でない
fact1: もしもなんらかのものが悪賢いとすれば削除コマンドでなくてそれは清純でない fact2: 「「近付き易い」ということは本当である」物はある fact3: 仮にあの耐摩耗性は削除コマンドであるならば「この関節液中は悪賢い」ということは確かである fact4: もしも「この関節液中は悪賢い」ということは成り立つとすればあの緩急は御早い fact5: もし仮になにかは御早いとすると悪賢い fact6: もしもあの緩急が御早いならばこの案内書は清純だ fact7: もし仮にこの関節液中が惜しみ無いということはないならばあの耐摩耗性は引き立つがしかし御早くない fact8: あの耐摩耗性は削除コマンドだ fact9: 「「あの緩急は惜しみ無くて交易する」ということは成り立たない」ということは間違っていない fact10: 仮にこの関節液中が惜しみ無くないとすればあの耐摩耗性は御早くてまた引き立つ
fact3 & fact8 -> int1: この関節液中は悪賢い; int1 & fact4 -> int2: あの緩急は御早い; int2 & fact6 -> hypothesis;
この案内書は清純でない
fact13 -> int3: もし仮にこの案内書が悪賢いとしたら削除コマンドでなくてかつ清純だということはない; fact11 -> int4: 「「惜しみ無いししかも交易する」ということは成り立たない」ものはある;
$facts$ = fact1: もしもなんらかのものが悪賢いとすれば削除コマンドでなくてそれは清純でない fact2: 「「近付き易い」ということは本当である」物はある fact3: 仮にあの耐摩耗性は削除コマンドであるならば「この関節液中は悪賢い」ということは確かである fact4: もしも「この関節液中は悪賢い」ということは成り立つとすればあの緩急は御早い fact5: もし仮になにかは御早いとすると悪賢い fact6: もしもあの緩急が御早いならばこの案内書は清純だ fact7: もし仮にこの関節液中が惜しみ無いということはないならばあの耐摩耗性は引き立つがしかし御早くない fact8: あの耐摩耗性は削除コマンドだ fact9: 「「あの緩急は惜しみ無くて交易する」ということは成り立たない」ということは間違っていない fact10: 仮にこの関節液中が惜しみ無くないとすればあの耐摩耗性は御早くてまた引き立つ ; $hypothesis$ = この案内書は清純でない ; $proof$ = 
fact3 & fact8 -> int1: この関節液中は悪賢い; int1 & fact4 -> int2: あの緩急は御早い; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものが悪賢いとすれば削除コマンドでなくてそれは清純でない
事実2: 「「近付き易い」ということは本当である」物はある
事実3: 仮にあの耐摩耗性は削除コマンドであるならば「この関節液中は悪賢い」ということは確かである
事実4: もしも「この関節液中は悪賢い」ということは成り立つとすればあの緩急は御早い
事実5: もし仮になにかは御早いとすると悪賢い
事実6: もしもあの緩急が御早いならばこの案内書は清純だ
事実7: もし仮にこの関節液中が惜しみ無いということはないならばあの耐摩耗性は引き立つがしかし御早くない
事実8: あの耐摩耗性は削除コマンドだ
事実9: 「「あの緩急は惜しみ無くて交易する」ということは成り立たない」ということは間違っていない
事実10: 仮にこの関節液中が惜しみ無くないとすればあの耐摩耗性は御早くてまた引き立つ

仮説: この案内書は清純でない
1. 事実3と事実8から、推論1: "この関節液中は悪賢い"が導かれる
2. 推論1と事実4から、推論2: "あの緩急は御早い"が導かれる
3. 推論2と事実6から、仮説が否定される

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