この非在地系土器は収容出来る
fact1: 何かは知らせ合うししかもおっかしいならばこの非在地系土器は収容出来る fact2: あるものは固くて加えてそれは知らせ合う fact3: 仮にあの士師が知らせ合うならその地球外生命は知らせ合う fact4: あの士師は知らせ合う fact5: 仮に何らかの物がおっかしいしそれにそれは知らせ合えば「あの士師は固い」ということは成り立つ fact6: もしその二日制がおっかしいということはないかそれが収容出来るなら収容出来る fact7: その地球外生命が収容出来るとしたらこの非在地系土器は収容出来ない fact8: その申し立て人は知らせ合う fact9: あの士師は固い fact10: もしあの士師がおっかしいならその地球外生命は収容出来る fact11: 「ビットマップイメージである」物はある fact12: 何らかのものが固くないならそれはおっかしい fact13: その地球外生命はおっかしいしさらに固い
fact13 -> int1: 「その地球外生命はおっかしくない」ということは本当でない; fact3 & fact4 -> int2: その地球外生命は知らせ合う; int1 & int2 -> int3: その地球外生命は知らせ合うしそれはおっかしい; int3 -> int4: 何らかのものは知らせ合うしまたそれはおっかしい; int4 & fact1 -> hypothesis;
その二日制は収容出来る
$facts$ = fact1: 何かは知らせ合うししかもおっかしいならばこの非在地系土器は収容出来る fact2: あるものは固くて加えてそれは知らせ合う fact3: 仮にあの士師が知らせ合うならその地球外生命は知らせ合う fact4: あの士師は知らせ合う fact5: 仮に何らかの物がおっかしいしそれにそれは知らせ合えば「あの士師は固い」ということは成り立つ fact6: もしその二日制がおっかしいということはないかそれが収容出来るなら収容出来る fact7: その地球外生命が収容出来るとしたらこの非在地系土器は収容出来ない fact8: その申し立て人は知らせ合う fact9: あの士師は固い fact10: もしあの士師がおっかしいならその地球外生命は収容出来る fact11: 「ビットマップイメージである」物はある fact12: 何らかのものが固くないならそれはおっかしい fact13: その地球外生命はおっかしいしさらに固い ; $hypothesis$ = この非在地系土器は収容出来る ; $proof$ = 
fact13 -> int1: 「その地球外生命はおっかしくない」ということは本当でない; fact3 & fact4 -> int2: その地球外生命は知らせ合う; int1 & int2 -> int3: その地球外生命は知らせ合うしそれはおっかしい; int3 -> int4: 何らかのものは知らせ合うしまたそれはおっかしい; int4 & fact1 -> hypothesis; __PROVED__
事実1: 何かは知らせ合うししかもおっかしいならばこの非在地系土器は収容出来る
事実2: あるものは固くて加えてそれは知らせ合う
事実3: 仮にあの士師が知らせ合うならその地球外生命は知らせ合う
事実4: あの士師は知らせ合う
事実5: 仮に何らかの物がおっかしいしそれにそれは知らせ合えば「あの士師は固い」ということは成り立つ
事実6: もしその二日制がおっかしいということはないかそれが収容出来るなら収容出来る
事実7: その地球外生命が収容出来るとしたらこの非在地系土器は収容出来ない
事実8: その申し立て人は知らせ合う
事実9: あの士師は固い
事実10: もしあの士師がおっかしいならその地球外生命は収容出来る
事実11: 「ビットマップイメージである」物はある
事実12: 何らかのものが固くないならそれはおっかしい
事実13: その地球外生命はおっかしいしさらに固い

仮説: この非在地系土器は収容出来る
1. 事実13から、推論1: "「その地球外生命はおっかしくない」ということは本当でない"が導かれる
2. 事実3と事実4から、推論2: "その地球外生命は知らせ合う"が導かれる
3. 推論1と推論2から、推論3: "その地球外生命は知らせ合うしそれはおっかしい"が導かれる
4. 推論3から、推論4: "何らかのものは知らせ合うしまたそれはおっかしい"が導かれる
5. 推論4と事実1から、仮説が導かれる

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