「その涼風は三Ｒでない」ということは事実である
fact1: もし仮に「なにかは摂食抑制だ一方でそれは酒折でない」ということは成り立たないならば「法衣だということはない」ということは確かである fact2: 「あの正課は看守しない」ということは確かである fact3: もしも「その涼風は摂食抑制であるがしかしそれは酒折でない」ということは成り立たないならばそれは法衣でない fact4: 「あの正課は摂食抑制であるけど酒折でない」ということは確かでない fact5: もしも何らかの物は摂食抑制でないならばそれは法衣でない fact6: 仮にあの正課は法衣でないとしたら「その涼風は巻き網であるし法衣だ」ということは嘘だ fact7: もしその涼風は法衣でないとすると「あの正課は巻き網であるしさらに法衣だ」ということは誤りだ fact8: 「何らかのものは巻き網であるし法衣だ」ということは誤りであるとするとそれは三Ｒでない fact9: もしもこの示威運動が巻き網で加えてスーパーであるならばこの周濠は巻き網でない fact10: あの正課は摂食抑制でないとするとそれは法衣でない fact11: もしもその開削・通船工事が巻き網であるならばあの示威運動は巻き網である fact12: この頭頂葉は巻き網なら「その開削・通船工事は巻き網である」ということは真実である fact13: 「あの停学処分は摂食抑制だ一方で乗馬者だということはない」ということは嘘だ fact14: 仮になんらかのものは巻き網でないとすると「それは三Ｒでない」ということは真実だ fact15: この示威運動が修業しない一方で社会教育活動だとすればこの周濠はスーパーである fact16: なんらかの物は巻き網でないとすると法衣であるしそれに三Ｒである fact17: もしこの周濠は法衣だとすると「その涼風は巻き網でないし三Ｒでない」ということは成り立たない fact18: この頭頂葉は巻き網だ fact19: もしもその涼風が巻き網だということはないとするとそれは三Ｒでない fact20: もしもあるものはスーパーであるなら法衣だ fact21: もしこの周濠は巻き網であるということはないなら「その涼風は巻き網でない」ということは真実である
fact1 -> int1: 仮に「あの正課は摂食抑制であるがしかし酒折であるということはない」ということは正しくないならばそれは法衣でない; int1 & fact4 -> int2: あの正課は法衣だということはない; int2 & fact6 -> int3: 「その涼風は巻き網で法衣だ」ということは誤っている; fact8 -> int4: もし仮に「その涼風は巻き網だしおまけに法衣だ」ということは成り立たないならば三Ｒでない; int3 & int4 -> hypothesis;
その涼風は三Ｒだ
fact24 -> int5: もしもこの周濠がスーパーならば法衣だ;
$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 & fact4 -> int2: あの正課は法衣だということはない; int2 & fact6 -> int3: 「その涼風は巻き網で法衣だ」ということは誤っている; fact8 -> int4: もし仮に「その涼風は巻き網だしおまけに法衣だ」ということは成り立たないならば三Ｒでない; int3 & int4 -> 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と事実4から、推論2: "あの正課は法衣だということはない"が導かれる
3. 推論2と事実6から、推論3: "「その涼風は巻き網で法衣だ」ということは誤っている"が導かれる
4. 事実8から、推論4: "もし仮に「その涼風は巻き網だしおまけに法衣だ」ということは成り立たないならば三Ｒでない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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