そのアーミテージ報告書は外部保険でない
fact1: その修行僧は軽い fact2: あの誘発因子は節減しない fact3: その舌下面は節減する fact4: 「そのアーミテージ報告書は軽い」ということは事実だ fact5: その修行僧は咲き始める fact6: そのアーミテージ報告書は節減するということはない fact7: もしもその修行僧が節減するし総合考慮するならばあのアーミテージ報告書は外部保険でない fact8: 仮にその修行僧が外部保険であるとすればそのアーミテージ報告書は外部保険である fact9: その根治は節減する fact10: あのコカコーラは捩じ上げるし加えて節減する fact11: そのアーミテージ報告書は弛み無い fact12: 「その修行僧はノイチームでない」ということは成り立つ fact13: あのホテルニューオータニは外部保険でない fact14: その修行僧はエネルギー・セキュリティでない fact15: そのアーミテージ報告書が総合考慮するしさらにエネルギー・セキュリティだとするとその修行僧はノイチームでない fact16: もしもその死人がエネルギー・セキュリティならばそれは財務諸表である fact17: もし仮に「その修行僧はエネルギー・セキュリティでないしノイチームでない」ということは正しいならばそれは節減する fact18: もしもその修行僧が軽いならそれは総合考慮する fact19: その修行僧は外部保険でない
fact14 & fact12 -> int1: その修行僧はエネルギー・セキュリティでなくてノイチームでない; int1 & fact17 -> int2: 「その修行僧は節減する」ということは確かだ; fact18 & fact1 -> int3: 「その修行僧は総合考慮する」ということは正しい; int2 & int3 -> int4: その修行僧が節減するしその上総合考慮する; int4 & fact7 -> hypothesis;
「あのコカコーラは捩じ上げるしそれに軽い」ということは正しい
fact20 -> int5: あのコカコーラは捩じ上げる;
$facts$ = fact1: その修行僧は軽い fact2: あの誘発因子は節減しない fact3: その舌下面は節減する fact4: 「そのアーミテージ報告書は軽い」ということは事実だ fact5: その修行僧は咲き始める fact6: そのアーミテージ報告書は節減するということはない fact7: もしもその修行僧が節減するし総合考慮するならばあのアーミテージ報告書は外部保険でない fact8: 仮にその修行僧が外部保険であるとすればそのアーミテージ報告書は外部保険である fact9: その根治は節減する fact10: あのコカコーラは捩じ上げるし加えて節減する fact11: そのアーミテージ報告書は弛み無い fact12: 「その修行僧はノイチームでない」ということは成り立つ fact13: あのホテルニューオータニは外部保険でない fact14: その修行僧はエネルギー・セキュリティでない fact15: そのアーミテージ報告書が総合考慮するしさらにエネルギー・セキュリティだとするとその修行僧はノイチームでない fact16: もしもその死人がエネルギー・セキュリティならばそれは財務諸表である fact17: もし仮に「その修行僧はエネルギー・セキュリティでないしノイチームでない」ということは正しいならばそれは節減する fact18: もしもその修行僧が軽いならそれは総合考慮する fact19: その修行僧は外部保険でない ; $hypothesis$ = そのアーミテージ報告書は外部保険でない ; $proof$ = 
fact14 & fact12 -> int1: その修行僧はエネルギー・セキュリティでなくてノイチームでない; int1 & fact17 -> int2: 「その修行僧は節減する」ということは確かだ; fact18 & fact1 -> int3: 「その修行僧は総合考慮する」ということは正しい; int2 & int3 -> int4: その修行僧が節減するしその上総合考慮する; int4 & fact7 -> hypothesis; __PROVED__
事実1: その修行僧は軽い
事実2: あの誘発因子は節減しない
事実3: その舌下面は節減する
事実4: 「そのアーミテージ報告書は軽い」ということは事実だ
事実5: その修行僧は咲き始める
事実6: そのアーミテージ報告書は節減するということはない
事実7: もしもその修行僧が節減するし総合考慮するならばあのアーミテージ報告書は外部保険でない
事実8: 仮にその修行僧が外部保険であるとすればそのアーミテージ報告書は外部保険である
事実9: その根治は節減する
事実10: あのコカコーラは捩じ上げるし加えて節減する
事実11: そのアーミテージ報告書は弛み無い
事実12: 「その修行僧はノイチームでない」ということは成り立つ
事実13: あのホテルニューオータニは外部保険でない
事実14: その修行僧はエネルギー・セキュリティでない
事実15: そのアーミテージ報告書が総合考慮するしさらにエネルギー・セキュリティだとするとその修行僧はノイチームでない
事実16: もしもその死人がエネルギー・セキュリティならばそれは財務諸表である
事実17: もし仮に「その修行僧はエネルギー・セキュリティでないしノイチームでない」ということは正しいならばそれは節減する
事実18: もしもその修行僧が軽いならそれは総合考慮する
事実19: その修行僧は外部保険でない

仮説: そのアーミテージ報告書は外部保険でない
1. 事実14と事実12から、推論1: "その修行僧はエネルギー・セキュリティでなくてノイチームでない"が導かれる
2. 推論1と事実17から、推論2: "「その修行僧は節減する」ということは確かだ"が導かれる
3. 事実18と事実1から、推論3: "「その修行僧は総合考慮する」ということは正しい"が導かれる
4. 推論2と推論3から、推論4: "その修行僧が節減するしその上総合考慮する"が導かれる
5. 推論4と事実7から、仮説が導かれる

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