その聡明様は物狂おしいということはない
fact1: 「「度し難くないしかつ描き始める」ということは成り立たない」物はある fact2: 「「重合するということはないし馬鹿らしくない」ということは偽な」物はあるとすると「その聡明様は描き始める」ということは成り立つ fact3: もし仮にこの収穫時が事らしいとしたらその聡明様は物狂おしい fact4: 「「度し難くないし描き始めない」ということは間違いである」物はある fact5: 「「度し難い一方で描き始めない」ということは確かでない」ものはある fact6: その予定通りは不完全競争だ fact7: 何らかのものは度し難いということはないし描き始めるということはない fact8: もし仮に「「度し難くないし加えて描き始めない」ということは成り立たない」ものがあるとすればこの収穫時は事らしい fact9: もし「「度し難い」ということは事実な」物があるとするとこの収穫時は事らしい
fact4 & fact8 -> int1: この収穫時は事らしい; int1 & fact3 -> hypothesis;
fact4 & fact8 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「「度し難くないしかつ描き始める」ということは成り立たない」物はある fact2: 「「重合するということはないし馬鹿らしくない」ということは偽な」物はあるとすると「その聡明様は描き始める」ということは成り立つ fact3: もし仮にこの収穫時が事らしいとしたらその聡明様は物狂おしい fact4: 「「度し難くないし描き始めない」ということは間違いである」物はある fact5: 「「度し難い一方で描き始めない」ということは確かでない」ものはある fact6: その予定通りは不完全競争だ fact7: 何らかのものは度し難いということはないし描き始めるということはない fact8: もし仮に「「度し難くないし加えて描き始めない」ということは成り立たない」ものがあるとすればこの収穫時は事らしい fact9: もし「「度し難い」ということは事実な」物があるとするとこの収穫時は事らしい ; $hypothesis$ = その聡明様は物狂おしいということはない ; $proof$ = 
fact4 & fact8 -> int1: この収穫時は事らしい; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「「度し難くないしかつ描き始める」ということは成り立たない」物はある
事実2: 「「重合するということはないし馬鹿らしくない」ということは偽な」物はあるとすると「その聡明様は描き始める」ということは成り立つ
事実3: もし仮にこの収穫時が事らしいとしたらその聡明様は物狂おしい
事実4: 「「度し難くないし描き始めない」ということは間違いである」物はある
事実5: 「「度し難い一方で描き始めない」ということは確かでない」ものはある
事実6: その予定通りは不完全競争だ
事実7: 何らかのものは度し難いということはないし描き始めるということはない
事実8: もし仮に「「度し難くないし加えて描き始めない」ということは成り立たない」ものがあるとすればこの収穫時は事らしい
事実9: もし「「度し難い」ということは事実な」物があるとするとこの収穫時は事らしい

仮説: その聡明様は物狂おしいということはない
1. 事実4と事実8から、推論1: "この収穫時は事らしい"が導かれる
2. 推論1と事実3から、仮説が否定される

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