あの内風呂男は乱入しない
fact1: 何かは継承するとすればそれは乱入する fact2: もし仮に「その白金線はかったるい一方でそれは窶れない」ということは誤っているとしたらそれはかったるくない fact3: 「この慶応義塾幼稚舎は戒厳令下だけど抜き付けるということはない」ということは偽だ fact4: もし仮に「この慶応義塾幼稚舎は乱入する」ということは成り立てばこの終身建物賃貸借は材料単価表でないが継承する fact5: もし「この慶応義塾幼稚舎は凄まじくないけどそれは甘ったるい」ということは確かだということはないとするとあの内風呂男は材料単価表でない fact6: 仮に「この慶応義塾幼稚舎は戒厳令下であるけど抜き付けるということはない」ということは誤りだとしたらあの内風呂男は材料単価表である fact7: 仮に「なにがしかの物は書き易いしおまけにそれは甘ったるい」ということは成り立つということはないとしたら「それは甘ったるくない」ということは成り立つ fact8: もしも「グローバル化しない」ものはあるとしたら「その白金線はかったるい一方で窶れない」ということは誤りだ fact9: もし「なんらかの物は材料単価表である」ということは偽でないとするとそれは継承する fact10: 何らかのものはグローバル化しない fact11: 「その総収入は戒厳令下である一方で艦攻隊でない」ということは誤っている fact12: もし仮に何かは材料単価表でないならそれは乱入しないし継承しない fact13: 「あの内風呂男は作業場であるがしかし戒厳令下でない」ということは嘘である fact14: もし「かったるくない」物はあるとすれば「この塩水用は書き易いし甘ったるい」ということは成り立たない fact15: もし仮にこの慶応義塾幼稚舎が戒厳令下でないとするとあの内風呂男は材料単価表である
fact6 & fact3 -> int1: あの内風呂男は材料単価表である; fact9 -> int2: 「あの内風呂男は材料単価表である」ということは事実だとすればそれは継承する; int1 & int2 -> int3: あの内風呂男は継承する; fact1 -> int4: あの内風呂男が継承するとしたらそれは乱入する; int3 & int4 -> hypothesis;
fact6 & fact3 -> int1: {B}{b}; fact9 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; fact1 -> int4: {A}{b} -> {C}{b}; int3 & int4 -> hypothesis;
この終身建物賃貸借は継承する
$facts$ = fact1: 何かは継承するとすればそれは乱入する fact2: もし仮に「その白金線はかったるい一方でそれは窶れない」ということは誤っているとしたらそれはかったるくない fact3: 「この慶応義塾幼稚舎は戒厳令下だけど抜き付けるということはない」ということは偽だ fact4: もし仮に「この慶応義塾幼稚舎は乱入する」ということは成り立てばこの終身建物賃貸借は材料単価表でないが継承する fact5: もし「この慶応義塾幼稚舎は凄まじくないけどそれは甘ったるい」ということは確かだということはないとするとあの内風呂男は材料単価表でない fact6: 仮に「この慶応義塾幼稚舎は戒厳令下であるけど抜き付けるということはない」ということは誤りだとしたらあの内風呂男は材料単価表である fact7: 仮に「なにがしかの物は書き易いしおまけにそれは甘ったるい」ということは成り立つということはないとしたら「それは甘ったるくない」ということは成り立つ fact8: もしも「グローバル化しない」ものはあるとしたら「その白金線はかったるい一方で窶れない」ということは誤りだ fact9: もし「なんらかの物は材料単価表である」ということは偽でないとするとそれは継承する fact10: 何らかのものはグローバル化しない fact11: 「その総収入は戒厳令下である一方で艦攻隊でない」ということは誤っている fact12: もし仮に何かは材料単価表でないならそれは乱入しないし継承しない fact13: 「あの内風呂男は作業場であるがしかし戒厳令下でない」ということは嘘である fact14: もし「かったるくない」物はあるとすれば「この塩水用は書き易いし甘ったるい」ということは成り立たない fact15: もし仮にこの慶応義塾幼稚舎が戒厳令下でないとするとあの内風呂男は材料単価表である ; $hypothesis$ = あの内風呂男は乱入しない ; $proof$ = 
fact6 & fact3 -> int1: あの内風呂男は材料単価表である; fact9 -> int2: 「あの内風呂男は材料単価表である」ということは事実だとすればそれは継承する; int1 & int2 -> int3: あの内風呂男は継承する; fact1 -> int4: あの内風呂男が継承するとしたらそれは乱入する; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 何かは継承するとすればそれは乱入する
事実2: もし仮に「その白金線はかったるい一方でそれは窶れない」ということは誤っているとしたらそれはかったるくない
事実3: 「この慶応義塾幼稚舎は戒厳令下だけど抜き付けるということはない」ということは偽だ
事実4: もし仮に「この慶応義塾幼稚舎は乱入する」ということは成り立てばこの終身建物賃貸借は材料単価表でないが継承する
事実5: もし「この慶応義塾幼稚舎は凄まじくないけどそれは甘ったるい」ということは確かだということはないとするとあの内風呂男は材料単価表でない
事実6: 仮に「この慶応義塾幼稚舎は戒厳令下であるけど抜き付けるということはない」ということは誤りだとしたらあの内風呂男は材料単価表である
事実7: 仮に「なにがしかの物は書き易いしおまけにそれは甘ったるい」ということは成り立つということはないとしたら「それは甘ったるくない」ということは成り立つ
事実8: もしも「グローバル化しない」ものはあるとしたら「その白金線はかったるい一方で窶れない」ということは誤りだ
事実9: もし「なんらかの物は材料単価表である」ということは偽でないとするとそれは継承する
事実10: 何らかのものはグローバル化しない
事実11: 「その総収入は戒厳令下である一方で艦攻隊でない」ということは誤っている
事実12: もし仮に何かは材料単価表でないならそれは乱入しないし継承しない
事実13: 「あの内風呂男は作業場であるがしかし戒厳令下でない」ということは嘘である
事実14: もし「かったるくない」物はあるとすれば「この塩水用は書き易いし甘ったるい」ということは成り立たない
事実15: もし仮にこの慶応義塾幼稚舎が戒厳令下でないとするとあの内風呂男は材料単価表である

仮説: あの内風呂男は乱入しない
1. 事実6と事実3から、推論1: "あの内風呂男は材料単価表である"が導かれる
2. 事実9から、推論2: "「あの内風呂男は材料単価表である」ということは事実だとすればそれは継承する"が導かれる
3. 推論1と推論2から、推論3: "あの内風呂男は継承する"が導かれる
4. 事実1から、推論4: "あの内風呂男が継承するとしたらそれは乱入する"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。