このアウトサイダーは大麻でない
fact1: 仮にあるものが締め切り日だしさらにそれが脊髄損傷だとすれば大麻でない fact2: 仮に「「控除出来なくてその上自動返信しない」ということは成り立たない」ものがあるとするとあの層構造は控除出来る fact3: もし仮に何かは喋らないなら脊髄損傷であるしそれに愛情だ fact4: 「あの局所管理は泳ぐということはないしそれは冗談ぽくない」ということは成り立たない fact5: もし仮になにがしかの物が喋れば塾長である fact6: あの層構造が控除出来ればあの局所管理は控除出来る fact7: このアウトサイダーは脊髄損傷である fact8: このアウトサイダーは締め切り日だ fact9: もしもこの大陸が泳ぐということはないとしたら喋るし加えて冗談ぽい fact10: もし仮に「「泳がなくてまた冗談ぽくない」ということは事実と異なる」ものがあるとしたらそのＲＡＷ＿データフォルダは喋るということはない fact11: 「「控除出来なくてその上自動返信しない」ということは成り立たない」物はある fact12: 仮にあの局所管理が控除出来るとすればそのＲＡＷ＿データフォルダは愛情だ fact13: この大陸は泳がない
fact8 & fact7 -> int1: このアウトサイダーが締め切り日だしさらにそれは脊髄損傷だ; fact1 -> int2: もしもこのアウトサイダーは締め切り日でそれに脊髄損傷であるならそれは大麻でない; int1 & int2 -> hypothesis;
この大陸は塾長だし大麻である
fact20 -> int3: もし仮にこの大陸が喋るとすると塾長である; fact18 & fact19 -> int4: この大陸は喋るしそれに冗談ぽい; int4 -> int5: この大陸は喋る; int3 & int5 -> int6: この大陸は塾長だ; fact14 & fact15 -> int7: あの層構造は控除出来る; fact16 & int7 -> int8: あの局所管理は控除出来る; fact17 & int8 -> int9: 「そのＲＡＷ＿データフォルダは愛情だ」ということは確かだ; int9 -> int10: 「愛情な」ものはある;
$facts$ = fact1: 仮にあるものが締め切り日だしさらにそれが脊髄損傷だとすれば大麻でない fact2: 仮に「「控除出来なくてその上自動返信しない」ということは成り立たない」ものがあるとするとあの層構造は控除出来る fact3: もし仮に何かは喋らないなら脊髄損傷であるしそれに愛情だ fact4: 「あの局所管理は泳ぐということはないしそれは冗談ぽくない」ということは成り立たない fact5: もし仮になにがしかの物が喋れば塾長である fact6: あの層構造が控除出来ればあの局所管理は控除出来る fact7: このアウトサイダーは脊髄損傷である fact8: このアウトサイダーは締め切り日だ fact9: もしもこの大陸が泳ぐということはないとしたら喋るし加えて冗談ぽい fact10: もし仮に「「泳がなくてまた冗談ぽくない」ということは事実と異なる」ものがあるとしたらそのＲＡＷ＿データフォルダは喋るということはない fact11: 「「控除出来なくてその上自動返信しない」ということは成り立たない」物はある fact12: 仮にあの局所管理が控除出来るとすればそのＲＡＷ＿データフォルダは愛情だ fact13: この大陸は泳がない ; $hypothesis$ = このアウトサイダーは大麻でない ; $proof$ = 
fact8 & fact7 -> int1: このアウトサイダーが締め切り日だしさらにそれは脊髄損傷だ; fact1 -> int2: もしもこのアウトサイダーは締め切り日でそれに脊髄損傷であるならそれは大麻でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあるものが締め切り日だしさらにそれが脊髄損傷だとすれば大麻でない
事実2: 仮に「「控除出来なくてその上自動返信しない」ということは成り立たない」ものがあるとするとあの層構造は控除出来る
事実3: もし仮に何かは喋らないなら脊髄損傷であるしそれに愛情だ
事実4: 「あの局所管理は泳ぐということはないしそれは冗談ぽくない」ということは成り立たない
事実5: もし仮になにがしかの物が喋れば塾長である
事実6: あの層構造が控除出来ればあの局所管理は控除出来る
事実7: このアウトサイダーは脊髄損傷である
事実8: このアウトサイダーは締め切り日だ
事実9: もしもこの大陸が泳ぐということはないとしたら喋るし加えて冗談ぽい
事実10: もし仮に「「泳がなくてまた冗談ぽくない」ということは事実と異なる」ものがあるとしたらそのＲＡＷ＿データフォルダは喋るということはない
事実11: 「「控除出来なくてその上自動返信しない」ということは成り立たない」物はある
事実12: 仮にあの局所管理が控除出来るとすればそのＲＡＷ＿データフォルダは愛情だ
事実13: この大陸は泳がない

仮説: このアウトサイダーは大麻でない
1. 事実8と事実7から、推論1: "このアウトサイダーが締め切り日だしさらにそれは脊髄損傷だ"が導かれる
2. 事実1から、推論2: "もしもこのアウトサイダーは締め切り日でそれに脊髄損傷であるならそれは大麻でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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