あの風間はでかくない
fact1: その荒川橋は専制支配だ fact2: もし仮になんらかの物が地域歯科保健活動でないとしたらそれは仄白くないしその上むっとしない fact3: その荒川橋がでかいとしたらあの風間はでかい fact4: 「あの風間は専制支配である」ということは成り立つ fact5: 仮にあの風間はでかいならば「その荒川橋は厳しい」ということは真実である fact6: 運転し易くないものは厳しいしかつでかい fact7: その荒川橋は運転し易い fact8: あの誇張は運転し易くない fact9: もし仮にあの大阪府資料は仄白くないとすると「この鉱山開発は得難いし専制支配である」ということは成り立つということはない fact10: この鉱山開発が運転し易くないならその荒川橋は運転し易くない fact11: その荒川橋が厳しくておまけにそれが運転し易いなら専制支配でない fact12: もしあの大阪府資料は口絵写真であるということはないとすれば地域歯科保健活動でない fact13: 厳しいものはでかい
void -> assump1: 以下のように仮定する。あの風間はでかい; fact5 & assump1 -> int1: その荒川橋は厳しい; int1 & fact7 -> int2: その荒川橋は厳しいしおまけに運転し易い; int2 & fact11 -> int3: その荒川橋は専制支配でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの風間はでかい
fact17 -> int5: 仮にその荒川橋は運転し易くないとしたらそれは厳しくてでかい; fact18 -> int6: もし仮に「あの大阪府資料は地域歯科保健活動だということはない」ということは確かであるとするとそれは仄白いということはないしそれはむっとしない;
$facts$ = fact1: その荒川橋は専制支配だ fact2: もし仮になんらかの物が地域歯科保健活動でないとしたらそれは仄白くないしその上むっとしない fact3: その荒川橋がでかいとしたらあの風間はでかい fact4: 「あの風間は専制支配である」ということは成り立つ fact5: 仮にあの風間はでかいならば「その荒川橋は厳しい」ということは真実である fact6: 運転し易くないものは厳しいしかつでかい fact7: その荒川橋は運転し易い fact8: あの誇張は運転し易くない fact9: もし仮にあの大阪府資料は仄白くないとすると「この鉱山開発は得難いし専制支配である」ということは成り立つということはない fact10: この鉱山開発が運転し易くないならその荒川橋は運転し易くない fact11: その荒川橋が厳しくておまけにそれが運転し易いなら専制支配でない fact12: もしあの大阪府資料は口絵写真であるということはないとすれば地域歯科保健活動でない fact13: 厳しいものはでかい ; $hypothesis$ = あの風間はでかくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの風間はでかい; fact5 & assump1 -> int1: その荒川橋は厳しい; int1 & fact7 -> int2: その荒川橋は厳しいしおまけに運転し易い; int2 & fact11 -> int3: その荒川橋は専制支配でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その荒川橋は専制支配だ
事実2: もし仮になんらかの物が地域歯科保健活動でないとしたらそれは仄白くないしその上むっとしない
事実3: その荒川橋がでかいとしたらあの風間はでかい
事実4: 「あの風間は専制支配である」ということは成り立つ
事実5: 仮にあの風間はでかいならば「その荒川橋は厳しい」ということは真実である
事実6: 運転し易くないものは厳しいしかつでかい
事実7: その荒川橋は運転し易い
事実8: あの誇張は運転し易くない
事実9: もし仮にあの大阪府資料は仄白くないとすると「この鉱山開発は得難いし専制支配である」ということは成り立つということはない
事実10: この鉱山開発が運転し易くないならその荒川橋は運転し易くない
事実11: その荒川橋が厳しくておまけにそれが運転し易いなら専制支配でない
事実12: もしあの大阪府資料は口絵写真であるということはないとすれば地域歯科保健活動でない
事実13: 厳しいものはでかい

仮説: あの風間はでかくない
1. 仮定1: 以下のように仮定する。あの風間はでかい
2. 事実5と仮定1から、推論1: "その荒川橋は厳しい"が導かれる
3. 推論1と事実7から、推論2: "その荒川橋は厳しいしおまけに運転し易い"が導かれる
4. 推論2と事実11から、推論3: "その荒川橋は専制支配でない"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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