あの青鬼はつべたくない
fact1: この協同居住福祉はつべたくない fact2: この家族手当ては落っこちる fact3: 「あの青鬼は手厳しいということはない」ということは成り立つ fact4: もし仮にこの家族手当てが落っこちるとすれば手厳しくなくておまけに激しくない fact5: もし仮にこの家族手当てが手厳しくないしその上激しくないとするとあの青鬼はつべたいということはない fact6: この家族手当ては手厳しくない fact7: あの総統選挙は落っこちる fact8: もしもこの家族手当てが落っこちるとすると手厳しくない
fact4 & fact2 -> int1: この家族手当ては手厳しくなくてまたそれは激しくない; int1 & fact5 -> hypothesis;
$facts$ = fact1: この協同居住福祉はつべたくない fact2: この家族手当ては落っこちる fact3: 「あの青鬼は手厳しいということはない」ということは成り立つ fact4: もし仮にこの家族手当てが落っこちるとすれば手厳しくなくておまけに激しくない fact5: もし仮にこの家族手当てが手厳しくないしその上激しくないとするとあの青鬼はつべたいということはない fact6: この家族手当ては手厳しくない fact7: あの総統選挙は落っこちる fact8: もしもこの家族手当てが落っこちるとすると手厳しくない ; $hypothesis$ = あの青鬼はつべたくない ; $proof$ = 
fact4 & fact2 -> int1: この家族手当ては手厳しくなくてまたそれは激しくない; int1 & fact5 -> hypothesis; __PROVED__
事実1: この協同居住福祉はつべたくない
事実2: この家族手当ては落っこちる
事実3: 「あの青鬼は手厳しいということはない」ということは成り立つ
事実4: もし仮にこの家族手当てが落っこちるとすれば手厳しくなくておまけに激しくない
事実5: もし仮にこの家族手当てが手厳しくないしその上激しくないとするとあの青鬼はつべたいということはない
事実6: この家族手当ては手厳しくない
事実7: あの総統選挙は落っこちる
事実8: もしもこの家族手当てが落っこちるとすると手厳しくない

仮説: あの青鬼はつべたくない
1. 事実4と事実2から、推論1: "この家族手当ては手厳しくなくてまたそれは激しくない"が導かれる
2. 推論1と事実5から、仮説が導かれる

よって、仮説が証明されました。