その訪問前は恐怖する
fact1: すべてのものは旅行業でないしそれに記念フェスタであるということはない fact2: 満遍無くないものは防御するか四角いかどちらもだ fact3: この当人は丸っこい fact4: もしあるものは引照するし更に寄宿すれば満遍無くない fact5: 「すべてのものはし難くない」ということは事実だ fact6: もしこの車庫証明が押し返すならこの環境マッピングは貸し付け期間でないかあるいは人材流出でないかもしくは両方ともである fact7: もしこの環境マッピングは貸し付け期間でないなら「この当人は引照する」ということは偽でない fact8: この環境マッピングは貸し付け期間でないかもしくは押し返さないかどちらもだ fact9: もしこのインターネットカフェが寄宿しないけどそれが引照するならその遮断工封じ込めは貸し付け期間でない fact10: もし仮にこの散らばり具合は旅行業でなくてその上記念フェスタでないとすると「この車庫証明は押し返す」ということは正しい fact11: この当人は達人的食卓美麗術でない fact12: この散らばり具合は恐怖しない fact13: この当人は丸っこいかあるいは貸し付け期間である fact14: 仮にこの当人が防御するとすればその訪問前は恐怖する fact15: もしもこの当人が達人的食卓美麗術でないとすればそれは寄宿するし丸っこい fact16: もしもこの当人が四角いとするとその訪問前は恐怖する fact17: 仮にこの散らばり具合が寄宿するということはないけど防御すればこの当人は旅行業である fact18: 仮に「この車庫証明は記念フェスタでないかもしくはそれは恐怖するかまたは両方ともである」ということは成り立たないならばあの訪問前は恐怖しない fact19: この環境マッピングは人材流出でないとすれば「この当人は引照する」ということは正しい fact20: もし「この当人は人材流出であるかそれは押し返すということはないかまたは両方ともである」ということは成り立たないならこの環境マッピングは旅行業でない fact21: その遮断工封じ込めは貸し付け期間でないとすると「この当人は人材流出であるかまたはそれは押し返さない」ということは偽である
fact1 -> int1: 「この散らばり具合は旅行業でないし更にそれは記念フェスタでない」ということは誤っているということはない; int1 & fact10 -> int2: この車庫証明は押し返す; int2 & fact6 -> int3: この環境マッピングは貸し付け期間でないか人材流出でないかあるいは両方だ; int3 & fact7 & fact19 -> int4: この当人は引照する; fact11 & fact15 -> int5: この当人は寄宿するしそれに丸っこい; int5 -> int6: この当人は寄宿する; int4 & int6 -> int7: この当人は引照するし更に寄宿する; fact4 -> int8: この当人は引照するし寄宿するならそれは満遍無くない; int7 & int8 -> int9: 「この当人は満遍無くない」ということは正しい; fact2 -> int10: もしこの当人が満遍無いということはないならば防御するかまたは四角い; int9 & int10 -> int11: 「この当人は防御するかまたは四角い」ということは成り立つ; int11 & fact14 & fact16 -> hypothesis;
その訪問前は恐怖しない
$facts$ = fact1: すべてのものは旅行業でないしそれに記念フェスタであるということはない fact2: 満遍無くないものは防御するか四角いかどちらもだ fact3: この当人は丸っこい fact4: もしあるものは引照するし更に寄宿すれば満遍無くない fact5: 「すべてのものはし難くない」ということは事実だ fact6: もしこの車庫証明が押し返すならこの環境マッピングは貸し付け期間でないかあるいは人材流出でないかもしくは両方ともである fact7: もしこの環境マッピングは貸し付け期間でないなら「この当人は引照する」ということは偽でない fact8: この環境マッピングは貸し付け期間でないかもしくは押し返さないかどちらもだ fact9: もしこのインターネットカフェが寄宿しないけどそれが引照するならその遮断工封じ込めは貸し付け期間でない fact10: もし仮にこの散らばり具合は旅行業でなくてその上記念フェスタでないとすると「この車庫証明は押し返す」ということは正しい fact11: この当人は達人的食卓美麗術でない fact12: この散らばり具合は恐怖しない fact13: この当人は丸っこいかあるいは貸し付け期間である fact14: 仮にこの当人が防御するとすればその訪問前は恐怖する fact15: もしもこの当人が達人的食卓美麗術でないとすればそれは寄宿するし丸っこい fact16: もしもこの当人が四角いとするとその訪問前は恐怖する fact17: 仮にこの散らばり具合が寄宿するということはないけど防御すればこの当人は旅行業である fact18: 仮に「この車庫証明は記念フェスタでないかもしくはそれは恐怖するかまたは両方ともである」ということは成り立たないならばあの訪問前は恐怖しない fact19: この環境マッピングは人材流出でないとすれば「この当人は引照する」ということは正しい fact20: もし「この当人は人材流出であるかそれは押し返すということはないかまたは両方ともである」ということは成り立たないならこの環境マッピングは旅行業でない fact21: その遮断工封じ込めは貸し付け期間でないとすると「この当人は人材流出であるかまたはそれは押し返さない」ということは偽である ; $hypothesis$ = その訪問前は恐怖する ; $proof$ = 
fact1 -> int1: 「この散らばり具合は旅行業でないし更にそれは記念フェスタでない」ということは誤っているということはない; int1 & fact10 -> int2: この車庫証明は押し返す; int2 & fact6 -> int3: この環境マッピングは貸し付け期間でないか人材流出でないかあるいは両方だ; int3 & fact7 & fact19 -> int4: この当人は引照する; fact11 & fact15 -> int5: この当人は寄宿するしそれに丸っこい; int5 -> int6: この当人は寄宿する; int4 & int6 -> int7: この当人は引照するし更に寄宿する; fact4 -> int8: この当人は引照するし寄宿するならそれは満遍無くない; int7 & int8 -> int9: 「この当人は満遍無くない」ということは正しい; fact2 -> int10: もしこの当人が満遍無いということはないならば防御するかまたは四角い; int9 & int10 -> int11: 「この当人は防御するかまたは四角い」ということは成り立つ; int11 & fact14 & fact16 -> hypothesis; __PROVED__
事実1: すべてのものは旅行業でないしそれに記念フェスタであるということはない
事実2: 満遍無くないものは防御するか四角いかどちらもだ
事実3: この当人は丸っこい
事実4: もしあるものは引照するし更に寄宿すれば満遍無くない
事実5: 「すべてのものはし難くない」ということは事実だ
事実6: もしこの車庫証明が押し返すならこの環境マッピングは貸し付け期間でないかあるいは人材流出でないかもしくは両方ともである
事実7: もしこの環境マッピングは貸し付け期間でないなら「この当人は引照する」ということは偽でない
事実8: この環境マッピングは貸し付け期間でないかもしくは押し返さないかどちらもだ
事実9: もしこのインターネットカフェが寄宿しないけどそれが引照するならその遮断工封じ込めは貸し付け期間でない
事実10: もし仮にこの散らばり具合は旅行業でなくてその上記念フェスタでないとすると「この車庫証明は押し返す」ということは正しい
事実11: この当人は達人的食卓美麗術でない
事実12: この散らばり具合は恐怖しない
事実13: この当人は丸っこいかあるいは貸し付け期間である
事実14: 仮にこの当人が防御するとすればその訪問前は恐怖する
事実15: もしもこの当人が達人的食卓美麗術でないとすればそれは寄宿するし丸っこい
事実16: もしもこの当人が四角いとするとその訪問前は恐怖する
事実17: 仮にこの散らばり具合が寄宿するということはないけど防御すればこの当人は旅行業である
事実18: 仮に「この車庫証明は記念フェスタでないかもしくはそれは恐怖するかまたは両方ともである」ということは成り立たないならばあの訪問前は恐怖しない
事実19: この環境マッピングは人材流出でないとすれば「この当人は引照する」ということは正しい
事実20: もし「この当人は人材流出であるかそれは押し返すということはないかまたは両方ともである」ということは成り立たないならこの環境マッピングは旅行業でない
事実21: その遮断工封じ込めは貸し付け期間でないとすると「この当人は人材流出であるかまたはそれは押し返さない」ということは偽である

仮説: その訪問前は恐怖する
1. 事実1から、推論1: "「この散らばり具合は旅行業でないし更にそれは記念フェスタでない」ということは誤っているということはない"が導かれる
2. 推論1と事実10から、推論2: "この車庫証明は押し返す"が導かれる
3. 推論2と事実6から、推論3: "この環境マッピングは貸し付け期間でないか人材流出でないかあるいは両方だ"が導かれる
4. 推論3と事実7と事実19から、推論4: "この当人は引照する"が導かれる
5. 事実11と事実15から、推論5: "この当人は寄宿するしそれに丸っこい"が導かれる
6. 推論5から、推論6: "この当人は寄宿する"が導かれる
7. 推論4と推論6から、推論7: "この当人は引照するし更に寄宿する"が導かれる
8. 事実4から、推論8: "この当人は引照するし寄宿するならそれは満遍無くない"が導かれる
9. 推論7と推論8から、推論9: "「この当人は満遍無くない」ということは正しい"が導かれる
10. 事実2から、推論10: "もしこの当人が満遍無いということはないならば防御するかまたは四角い"が導かれる
11. 推論9と推論10から、推論11: "「この当人は防御するかまたは四角い」ということは成り立つ"が導かれる
12. 推論11と事実14と事実16から、仮説が導かれる

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