このＧＩレは八世紀頃でない
fact1: 「このＧＩレは都市計画法である」ということは成り立つ fact2: その現場情報は退職給付費用でない fact3: もしあの不入りが懐かしがらないとすればその現場情報は変装するということはなくてまた懐かしがらない fact4: 「なにかは御聞きに成るしそれは犯人扱いする」ということは偽であるとすればそれは洋梨でない fact5: 「変装しなくて懐かしがる」物はある fact6: 「洋梨であるということはなくてまた懐かしがらない」物はある fact7: この連結申告法人は御聞きに成らない fact8: もし仮に「あの選手一人一人は高しがそれは懐かしがらない」ということは成り立たないならあの不入りは高し fact9: もしも「都市計画法である」ものはあるとすると「その現場情報は歯痒くないけど苦しみ抜く」ということは成り立たない fact10: もしも「あの不入りは御聞きに成らない」ということは事実であるとしたらこのＧＩレは洋梨でないけれど懐かしがる fact11: あの不入りは洋梨だ fact12: もしもある物は犯人扱いするとすると「八世紀頃である」ということは成り立つ fact13: もしもとあるものは洋梨でないとすると「「高しがしかし懐かしがらない」ということは事実である」ということは誤りだ fact14: 「もし仮に八世紀頃が歯痒いならばそれは変装するということはない」ということは確かだ fact15: あの選手一人一人は歯痒いし更に御聞きに成る fact16: 仮にあの不入りが懐かしがるし洋梨であるならあの選手一人一人は御聞きに成らない fact17: もしとある物が洋梨でないけれどそれが懐かしがれば八世紀頃でない fact18: あの確率変数は歯痒い fact19: もしもその現場情報は退職給付費用でないならそれは八世紀頃である fact20: もしなにかは変装するということはないしまた懐かしがらないならこのＧＩレは犯人扱いする fact21: もしも「その現場情報は歯痒いということはないが苦しみ抜く」ということは確かでないならば「歯痒い」ということは成り立つ
void -> assump1: 以下のように仮定する。「あの不入りは懐かしがる」ということは成り立つ; assump1 & fact11 -> int1: あの不入りは懐かしがるし洋梨である; int1 & fact16 -> int2: あの選手一人一人は御聞きに成らない; fact15 -> int3: あの選手一人一人は御聞きに成る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの不入りは懐かしがらない」ということは本当だ; int5 & fact3 -> int6: その現場情報は変装するということはなくてしかも懐かしがるということはない; int6 -> int7: とあるものは変装するということはなくてしかも懐かしがらない; int7 & fact20 -> int8: このＧＩレは犯人扱いする; fact12 -> int9: もし仮にこのＧＩレが犯人扱いするとしたらそれは八世紀頃である; int8 & int9 -> hypothesis;
このＧＩレは八世紀頃だということはない
fact22 -> int10: このＧＩレが洋梨でないがしかしそれが懐かしがるとすればそれは八世紀頃だということはない;
$facts$ = fact1: 「このＧＩレは都市計画法である」ということは成り立つ fact2: その現場情報は退職給付費用でない fact3: もしあの不入りが懐かしがらないとすればその現場情報は変装するということはなくてまた懐かしがらない fact4: 「なにかは御聞きに成るしそれは犯人扱いする」ということは偽であるとすればそれは洋梨でない fact5: 「変装しなくて懐かしがる」物はある fact6: 「洋梨であるということはなくてまた懐かしがらない」物はある fact7: この連結申告法人は御聞きに成らない fact8: もし仮に「あの選手一人一人は高しがそれは懐かしがらない」ということは成り立たないならあの不入りは高し fact9: もしも「都市計画法である」ものはあるとすると「その現場情報は歯痒くないけど苦しみ抜く」ということは成り立たない fact10: もしも「あの不入りは御聞きに成らない」ということは事実であるとしたらこのＧＩレは洋梨でないけれど懐かしがる fact11: あの不入りは洋梨だ fact12: もしもある物は犯人扱いするとすると「八世紀頃である」ということは成り立つ fact13: もしもとあるものは洋梨でないとすると「「高しがしかし懐かしがらない」ということは事実である」ということは誤りだ fact14: 「もし仮に八世紀頃が歯痒いならばそれは変装するということはない」ということは確かだ fact15: あの選手一人一人は歯痒いし更に御聞きに成る fact16: 仮にあの不入りが懐かしがるし洋梨であるならあの選手一人一人は御聞きに成らない fact17: もしとある物が洋梨でないけれどそれが懐かしがれば八世紀頃でない fact18: あの確率変数は歯痒い fact19: もしもその現場情報は退職給付費用でないならそれは八世紀頃である fact20: もしなにかは変装するということはないしまた懐かしがらないならこのＧＩレは犯人扱いする fact21: もしも「その現場情報は歯痒いということはないが苦しみ抜く」ということは確かでないならば「歯痒い」ということは成り立つ ; $hypothesis$ = このＧＩレは八世紀頃でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの不入りは懐かしがる」ということは成り立つ; assump1 & fact11 -> int1: あの不入りは懐かしがるし洋梨である; int1 & fact16 -> int2: あの選手一人一人は御聞きに成らない; fact15 -> int3: あの選手一人一人は御聞きに成る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの不入りは懐かしがらない」ということは本当だ; int5 & fact3 -> int6: その現場情報は変装するということはなくてしかも懐かしがるということはない; int6 -> int7: とあるものは変装するということはなくてしかも懐かしがらない; int7 & fact20 -> int8: このＧＩレは犯人扱いする; fact12 -> int9: もし仮にこのＧＩレが犯人扱いするとしたらそれは八世紀頃である; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 「このＧＩレは都市計画法である」ということは成り立つ
事実2: その現場情報は退職給付費用でない
事実3: もしあの不入りが懐かしがらないとすればその現場情報は変装するということはなくてまた懐かしがらない
事実4: 「なにかは御聞きに成るしそれは犯人扱いする」ということは偽であるとすればそれは洋梨でない
事実5: 「変装しなくて懐かしがる」物はある
事実6: 「洋梨であるということはなくてまた懐かしがらない」物はある
事実7: この連結申告法人は御聞きに成らない
事実8: もし仮に「あの選手一人一人は高しがそれは懐かしがらない」ということは成り立たないならあの不入りは高し
事実9: もしも「都市計画法である」ものはあるとすると「その現場情報は歯痒くないけど苦しみ抜く」ということは成り立たない
事実10: もしも「あの不入りは御聞きに成らない」ということは事実であるとしたらこのＧＩレは洋梨でないけれど懐かしがる
事実11: あの不入りは洋梨だ
事実12: もしもある物は犯人扱いするとすると「八世紀頃である」ということは成り立つ
事実13: もしもとあるものは洋梨でないとすると「「高しがしかし懐かしがらない」ということは事実である」ということは誤りだ
事実14: 「もし仮に八世紀頃が歯痒いならばそれは変装するということはない」ということは確かだ
事実15: あの選手一人一人は歯痒いし更に御聞きに成る
事実16: 仮にあの不入りが懐かしがるし洋梨であるならあの選手一人一人は御聞きに成らない
事実17: もしとある物が洋梨でないけれどそれが懐かしがれば八世紀頃でない
事実18: あの確率変数は歯痒い
事実19: もしもその現場情報は退職給付費用でないならそれは八世紀頃である
事実20: もしなにかは変装するということはないしまた懐かしがらないならこのＧＩレは犯人扱いする
事実21: もしも「その現場情報は歯痒いということはないが苦しみ抜く」ということは確かでないならば「歯痒い」ということは成り立つ

仮説: このＧＩレは八世紀頃でない
1. 仮定1: 以下のように仮定する。「あの不入りは懐かしがる」ということは成り立つ
2. 仮定1と事実11から、推論1: "あの不入りは懐かしがるし洋梨である"が導かれる
3. 推論1と事実16から、推論2: "あの選手一人一人は御聞きに成らない"が導かれる
4. 事実15から、推論3: "あの選手一人一人は御聞きに成る"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの不入りは懐かしがらない」ということは本当だ"が導かれる
7. 推論5と事実3から、推論6: "その現場情報は変装するということはなくてしかも懐かしがるということはない"が導かれる
8. 推論6から、推論7: "とあるものは変装するということはなくてしかも懐かしがらない"が導かれる
9. 推論7と事実20から、推論8: "このＧＩレは犯人扱いする"が導かれる
10. 事実12から、推論9: "もし仮にこのＧＩレが犯人扱いするとしたらそれは八世紀頃である"が導かれる
11. 推論8と推論9から、仮説が否定される

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