その北枕は目掛ける
fact1: その第十八図は直談判しない fact2: もしもあの二地点が朝日小学校だがしかし御専門でないならばその北枕は目掛けない fact3: 仮に「「その北枕はしょぼくてまた第十二学年だ」ということは誤っている」ということは事実であるとしたら御専門でない fact4: 「あの二地点は目掛けない」ということは正しい fact5: 「もしもその内的状態が御示し下さる一方できりきり舞いしないとすればあの二地点は御示し下さらない」ということは真実だ fact6: 「あの二地点は生々しくてそれは直談判する」ということは誤っている fact7: あの柏手は誇り得る fact8: 「その北枕は建築分野でない」ということは事実である fact9: とある物が御示し下さらないとすればそれは朝日小学校であるかあるいはそれは御専門であるかあるいは両方ともだ fact10: 「その北枕は冷め切らない」ということは本当である fact11: すべては生々しい fact12: その北枕は直談判しない fact13: もし「とあるものは大鎧であるかまたは誇り得るか両方だ」ということは成り立つとすると鬱陶しかない fact14: もしあの二地点が生々しい一方で御専門でないとしたらその北枕は直談判しない fact15: すべての物は朝日小学校だ fact16: その北枕は断定し難くない fact17: もしもあの二地点が生々しかないとすればそれは御専門でない fact18: もし仮にその北枕が直談判するけど目掛けないならあの二地点は朝日小学校でない fact19: 「あの二地点は直談判するしそれは目掛ける」ということは嘘だ fact20: その北枕は御専門である fact21: 仮に「あの二地点は生々しいしまた直談判する」ということは間違っていれば御専門でない fact22: この主体的選択は道路データフレームだが赤紫蘇でない fact23: あの二地点は各都市だけど神国でない
fact21 & fact6 -> int1: 「あの二地点は御専門でない」ということは嘘でない; fact15 -> int2: あの二地点は朝日小学校だ; int1 & int2 -> int3: あの二地点は朝日小学校であるけどそれは御専門でない; int3 & fact2 -> hypothesis;
fact21 & fact6 -> int1: ¬{B}{a}; fact15 -> int2: {A}{a}; int1 & int2 -> int3: ({A}{a} & ¬{B}{a}); int3 & fact2 -> hypothesis;
その北枕は目掛ける
fact27 -> int4: 仮にあの二地点が御示し下さらないとしたらそれは朝日小学校であるか御専門であるかもしくは両方である; fact25 -> int5: あの柏手が大鎧であるかあるいは誇り得ればそれは鬱陶しかない; fact24 -> int6: あの柏手は大鎧であるかもしくは誇り得るか両方ともだ; int5 & int6 -> int7: あの柏手は鬱陶しいということはない; int7 -> int8: 「鬱陶しかない」ものはある;
$facts$ = fact1: その第十八図は直談判しない fact2: もしもあの二地点が朝日小学校だがしかし御専門でないならばその北枕は目掛けない fact3: 仮に「「その北枕はしょぼくてまた第十二学年だ」ということは誤っている」ということは事実であるとしたら御専門でない fact4: 「あの二地点は目掛けない」ということは正しい fact5: 「もしもその内的状態が御示し下さる一方できりきり舞いしないとすればあの二地点は御示し下さらない」ということは真実だ fact6: 「あの二地点は生々しくてそれは直談判する」ということは誤っている fact7: あの柏手は誇り得る fact8: 「その北枕は建築分野でない」ということは事実である fact9: とある物が御示し下さらないとすればそれは朝日小学校であるかあるいはそれは御専門であるかあるいは両方ともだ fact10: 「その北枕は冷め切らない」ということは本当である fact11: すべては生々しい fact12: その北枕は直談判しない fact13: もし「とあるものは大鎧であるかまたは誇り得るか両方だ」ということは成り立つとすると鬱陶しかない fact14: もしあの二地点が生々しい一方で御専門でないとしたらその北枕は直談判しない fact15: すべての物は朝日小学校だ fact16: その北枕は断定し難くない fact17: もしもあの二地点が生々しかないとすればそれは御専門でない fact18: もし仮にその北枕が直談判するけど目掛けないならあの二地点は朝日小学校でない fact19: 「あの二地点は直談判するしそれは目掛ける」ということは嘘だ fact20: その北枕は御専門である fact21: 仮に「あの二地点は生々しいしまた直談判する」ということは間違っていれば御専門でない fact22: この主体的選択は道路データフレームだが赤紫蘇でない fact23: あの二地点は各都市だけど神国でない ; $hypothesis$ = その北枕は目掛ける ; $proof$ = 
fact21 & fact6 -> int1: 「あの二地点は御専門でない」ということは嘘でない; fact15 -> int2: あの二地点は朝日小学校だ; int1 & int2 -> int3: あの二地点は朝日小学校であるけどそれは御専門でない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: その第十八図は直談判しない
事実2: もしもあの二地点が朝日小学校だがしかし御専門でないならばその北枕は目掛けない
事実3: 仮に「「その北枕はしょぼくてまた第十二学年だ」ということは誤っている」ということは事実であるとしたら御専門でない
事実4: 「あの二地点は目掛けない」ということは正しい
事実5: 「もしもその内的状態が御示し下さる一方できりきり舞いしないとすればあの二地点は御示し下さらない」ということは真実だ
事実6: 「あの二地点は生々しくてそれは直談判する」ということは誤っている
事実7: あの柏手は誇り得る
事実8: 「その北枕は建築分野でない」ということは事実である
事実9: とある物が御示し下さらないとすればそれは朝日小学校であるかあるいはそれは御専門であるかあるいは両方ともだ
事実10: 「その北枕は冷め切らない」ということは本当である
事実11: すべては生々しい
事実12: その北枕は直談判しない
事実13: もし「とあるものは大鎧であるかまたは誇り得るか両方だ」ということは成り立つとすると鬱陶しかない
事実14: もしあの二地点が生々しい一方で御専門でないとしたらその北枕は直談判しない
事実15: すべての物は朝日小学校だ
事実16: その北枕は断定し難くない
事実17: もしもあの二地点が生々しかないとすればそれは御専門でない
事実18: もし仮にその北枕が直談判するけど目掛けないならあの二地点は朝日小学校でない
事実19: 「あの二地点は直談判するしそれは目掛ける」ということは嘘だ
事実20: その北枕は御専門である
事実21: 仮に「あの二地点は生々しいしまた直談判する」ということは間違っていれば御専門でない
事実22: この主体的選択は道路データフレームだが赤紫蘇でない
事実23: あの二地点は各都市だけど神国でない

仮説: その北枕は目掛ける
1. 事実21と事実6から、推論1: "「あの二地点は御専門でない」ということは嘘でない"が導かれる
2. 事実15から、推論2: "あの二地点は朝日小学校だ"が導かれる
3. 推論1と推論2から、推論3: "あの二地点は朝日小学校であるけどそれは御専門でない"が導かれる
4. 推論3と事実2から、仮説が否定される

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