「この御升は生臭い」ということは本当である
fact1: この憲法制定過程は啜り終える fact2: そのλツーは気まずい fact3: もしあのくのいちが御返るしそれが気まずいとすればこの御升は生臭くない fact4: もし仮にこの憲法制定過程が啜り終えるとしたらあのくのいちは御返る fact5: その林下は啜り終える fact6: もし仮にそのλツーが気まずいならばあのくのいちは気まずい
fact4 & fact1 -> int1: あのくのいちは御返る; fact6 & fact2 -> int2: あのくのいちは気まずい; int1 & int2 -> int3: あのくのいちは御返るし気まずい; int3 & fact3 -> hypothesis;
$facts$ = fact1: この憲法制定過程は啜り終える fact2: そのλツーは気まずい fact3: もしあのくのいちが御返るしそれが気まずいとすればこの御升は生臭くない fact4: もし仮にこの憲法制定過程が啜り終えるとしたらあのくのいちは御返る fact5: その林下は啜り終える fact6: もし仮にそのλツーが気まずいならばあのくのいちは気まずい ; $hypothesis$ = 「この御升は生臭い」ということは本当である ; $proof$ = 
fact4 & fact1 -> int1: あのくのいちは御返る; fact6 & fact2 -> int2: あのくのいちは気まずい; int1 & int2 -> int3: あのくのいちは御返るし気まずい; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: この憲法制定過程は啜り終える
事実2: そのλツーは気まずい
事実3: もしあのくのいちが御返るしそれが気まずいとすればこの御升は生臭くない
事実4: もし仮にこの憲法制定過程が啜り終えるとしたらあのくのいちは御返る
事実5: その林下は啜り終える
事実6: もし仮にそのλツーが気まずいならばあのくのいちは気まずい

仮説: 「この御升は生臭い」ということは本当である
1. 事実4と事実1から、推論1: "あのくのいちは御返る"が導かれる
2. 事実6と事実2から、推論2: "あのくのいちは気まずい"が導かれる
3. 推論1と推論2から、推論3: "あのくのいちは御返るし気まずい"が導かれる
4. 推論3と事実3から、仮説が否定される

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