この占拠はブラジリアンである
fact1: この共産圏は引き付けない fact2: 何かは急拡大するがしかしそれは食事作りでない fact3: この占拠は引き受ける fact4: うざいということはないものはある fact5: 仮に飛行機らしい物はうざくないとすればこの占拠はブラジリアンである fact6: もし仮にあの肌荒れが包装するし更に冬らしいとするとその片務契約は包装しない fact7: この占拠は研修コースである fact8: あるものは飛行機らしいけれどそれはうざくない fact9: もし仮にあのＭＯＮＴが冬らしくないし渡り歩くということはないとするとあの肌荒れは冬らしい fact10: もし仮にこの共産圏がルータ化するとするとあの肌荒れは包装する fact11: 「支障無くておまけに冷た過ぎない」物はある fact12: なんらかの物は八十四席であるがしかしそれは湯島天神でない fact13: もしも飛行機らしいものがうざいならばこの占拠はブラジリアンだ fact14: 「御雇う一方でピボットでない」物はある fact15: 何らかの物が包装しないとすると飛行機らしいしその上それはうざい fact16: もしその片務契約が飛行機らしいならばあの占拠はブラジリアンでない fact17: この占拠はうざい fact18: もし仮にこの共産圏が引き付けるということはないならそれはルータ化するしさらにノンだ
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
「この占拠はブラジリアンでない」ということは正しい
fact21 -> int1: 仮にその片務契約が包装しないとすれば飛行機らしいしさらにそれはうざい; fact19 & fact24 -> int2: この共産圏はルータ化するししかもノンである; int2 -> int3: この共産圏はルータ化する; fact20 & int3 -> int4: あの肌荒れは包装する;
$facts$ = fact1: この共産圏は引き付けない fact2: 何かは急拡大するがしかしそれは食事作りでない fact3: この占拠は引き受ける fact4: うざいということはないものはある fact5: 仮に飛行機らしい物はうざくないとすればこの占拠はブラジリアンである fact6: もし仮にあの肌荒れが包装するし更に冬らしいとするとその片務契約は包装しない fact7: この占拠は研修コースである fact8: あるものは飛行機らしいけれどそれはうざくない fact9: もし仮にあのＭＯＮＴが冬らしくないし渡り歩くということはないとするとあの肌荒れは冬らしい fact10: もし仮にこの共産圏がルータ化するとするとあの肌荒れは包装する fact11: 「支障無くておまけに冷た過ぎない」物はある fact12: なんらかの物は八十四席であるがしかしそれは湯島天神でない fact13: もしも飛行機らしいものがうざいならばこの占拠はブラジリアンだ fact14: 「御雇う一方でピボットでない」物はある fact15: 何らかの物が包装しないとすると飛行機らしいしその上それはうざい fact16: もしその片務契約が飛行機らしいならばあの占拠はブラジリアンでない fact17: この占拠はうざい fact18: もし仮にこの共産圏が引き付けるということはないならそれはルータ化するしさらにノンだ ; $hypothesis$ = この占拠はブラジリアンである ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: この共産圏は引き付けない
事実2: 何かは急拡大するがしかしそれは食事作りでない
事実3: この占拠は引き受ける
事実4: うざいということはないものはある
事実5: 仮に飛行機らしい物はうざくないとすればこの占拠はブラジリアンである
事実6: もし仮にあの肌荒れが包装するし更に冬らしいとするとその片務契約は包装しない
事実7: この占拠は研修コースである
事実8: あるものは飛行機らしいけれどそれはうざくない
事実9: もし仮にあのＭＯＮＴが冬らしくないし渡り歩くということはないとするとあの肌荒れは冬らしい
事実10: もし仮にこの共産圏がルータ化するとするとあの肌荒れは包装する
事実11: 「支障無くておまけに冷た過ぎない」物はある
事実12: なんらかの物は八十四席であるがしかしそれは湯島天神でない
事実13: もしも飛行機らしいものがうざいならばこの占拠はブラジリアンだ
事実14: 「御雇う一方でピボットでない」物はある
事実15: 何らかの物が包装しないとすると飛行機らしいしその上それはうざい
事実16: もしその片務契約が飛行機らしいならばあの占拠はブラジリアンでない
事実17: この占拠はうざい
事実18: もし仮にこの共産圏が引き付けるということはないならそれはルータ化するしさらにノンだ

仮説: この占拠はブラジリアンである
1. 事実8と事実5から、仮説が導かれる

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