この画餅は反応出来る
fact1: この破壊無は人格変容だとすると「この支部長は片耳である」ということは確かだ fact2: この画餅は片耳だ fact3: この支部長は地平線だ fact4: 「この破壊無は促進する」ということは本当だ fact5: 「あの選挙用は反応出来る」ということは真実である fact6: この醜聞は人格変容であるとすると「この破壊無は地平線だ」ということは正しい fact7: もし仮にこの醜聞が地平線ならこの破壊無は人格変容である fact8: この醜聞は地平線である fact9: もしこの支部長が片耳だとするとこの画餅は反応出来る fact10: この画餅が片耳ならばこの支部長は反応出来る fact11: もしもこの画餅が人格変容ならばこの破壊無は反応出来る fact12: もし仮にこの破壊無が地平線であるとするとこの醜聞は人格変容である
fact7 & fact8 -> int1: この破壊無は人格変容である; int1 & fact1 -> int2: この支部長は片耳だ; int2 & fact9 -> hypothesis;
fact7 & fact8 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact9 -> hypothesis;
$facts$ = fact1: この破壊無は人格変容だとすると「この支部長は片耳である」ということは確かだ fact2: この画餅は片耳だ fact3: この支部長は地平線だ fact4: 「この破壊無は促進する」ということは本当だ fact5: 「あの選挙用は反応出来る」ということは真実である fact6: この醜聞は人格変容であるとすると「この破壊無は地平線だ」ということは正しい fact7: もし仮にこの醜聞が地平線ならこの破壊無は人格変容である fact8: この醜聞は地平線である fact9: もしこの支部長が片耳だとするとこの画餅は反応出来る fact10: この画餅が片耳ならばこの支部長は反応出来る fact11: もしもこの画餅が人格変容ならばこの破壊無は反応出来る fact12: もし仮にこの破壊無が地平線であるとするとこの醜聞は人格変容である ; $hypothesis$ = この画餅は反応出来る ; $proof$ = 
fact7 & fact8 -> int1: この破壊無は人格変容である; int1 & fact1 -> int2: この支部長は片耳だ; int2 & fact9 -> hypothesis; __PROVED__
事実1: この破壊無は人格変容だとすると「この支部長は片耳である」ということは確かだ
事実2: この画餅は片耳だ
事実3: この支部長は地平線だ
事実4: 「この破壊無は促進する」ということは本当だ
事実5: 「あの選挙用は反応出来る」ということは真実である
事実6: この醜聞は人格変容であるとすると「この破壊無は地平線だ」ということは正しい
事実7: もし仮にこの醜聞が地平線ならこの破壊無は人格変容である
事実8: この醜聞は地平線である
事実9: もしこの支部長が片耳だとするとこの画餅は反応出来る
事実10: この画餅が片耳ならばこの支部長は反応出来る
事実11: もしもこの画餅が人格変容ならばこの破壊無は反応出来る
事実12: もし仮にこの破壊無が地平線であるとするとこの醜聞は人格変容である

仮説: この画餅は反応出来る
1. 事実7と事実8から、推論1: "この破壊無は人格変容である"が導かれる
2. 推論1と事実1から、推論2: "この支部長は片耳だ"が導かれる
3. 推論2と事実9から、仮説が導かれる

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