その認識様式は忘れっぽい
fact1: 「しかつめらしい一方で久しくない」物はある fact2: もし仮にその認識様式は比例性でないなら「それは太いということはない」ということは事実と異ならない fact3: 「しかつめらしくないしかつ久しい」ものはある fact4: 仮にその独立宣言が久しくないとすればその認識様式は忘れっぽいしそれにしかつめらしい fact5: もし仮に「しかつめらしくないしおまけに久しくない」物があるとすればその認識様式は太くない fact6: 久しくないものはある fact7: しかつめらしくないものはある fact8: なんらかのものが生臭くないけど消臭効果であるとしたらその認識様式はしかつめらしくない fact9: しかつめらしくなくて久しくない物はある fact10: もしも何かは太くないとしたら忘れっぽくない
fact9 & fact5 -> int1: その認識様式は太くない; fact10 -> int2: もしその認識様式は太くないならば「それは忘れっぽくない」ということは確かである; int1 & int2 -> hypothesis;
その認識様式は忘れっぽい
$facts$ = fact1: 「しかつめらしい一方で久しくない」物はある fact2: もし仮にその認識様式は比例性でないなら「それは太いということはない」ということは事実と異ならない fact3: 「しかつめらしくないしかつ久しい」ものはある fact4: 仮にその独立宣言が久しくないとすればその認識様式は忘れっぽいしそれにしかつめらしい fact5: もし仮に「しかつめらしくないしおまけに久しくない」物があるとすればその認識様式は太くない fact6: 久しくないものはある fact7: しかつめらしくないものはある fact8: なんらかのものが生臭くないけど消臭効果であるとしたらその認識様式はしかつめらしくない fact9: しかつめらしくなくて久しくない物はある fact10: もしも何かは太くないとしたら忘れっぽくない ; $hypothesis$ = その認識様式は忘れっぽい ; $proof$ = 
fact9 & fact5 -> int1: その認識様式は太くない; fact10 -> int2: もしその認識様式は太くないならば「それは忘れっぽくない」ということは確かである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「しかつめらしい一方で久しくない」物はある
事実2: もし仮にその認識様式は比例性でないなら「それは太いということはない」ということは事実と異ならない
事実3: 「しかつめらしくないしかつ久しい」ものはある
事実4: 仮にその独立宣言が久しくないとすればその認識様式は忘れっぽいしそれにしかつめらしい
事実5: もし仮に「しかつめらしくないしおまけに久しくない」物があるとすればその認識様式は太くない
事実6: 久しくないものはある
事実7: しかつめらしくないものはある
事実8: なんらかのものが生臭くないけど消臭効果であるとしたらその認識様式はしかつめらしくない
事実9: しかつめらしくなくて久しくない物はある
事実10: もしも何かは太くないとしたら忘れっぽくない

仮説: その認識様式は忘れっぽい
1. 事実9と事実5から、推論1: "その認識様式は太くない"が導かれる
2. 事実10から、推論2: "もしその認識様式は太くないならば「それは忘れっぽくない」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が否定される

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