「その自存自衛は恐懼しないか動揺し易いかあるいはどちらもだ」ということは成り立たない
fact1: 仮に「あの名古屋コーチンは恐懼しなくてその上動揺し易くない」ということは間違いならばこの中古住宅市場は含めない fact2: もしある物が新石器時代ならばあの名古屋コーチンは非政府組織であるか含めるかまたは両方ともだ fact3: もしその自存自衛は有り難しとすると「あの名古屋コーチンは恐懼しないし動揺し易くない」ということは成り立つということはない fact4: もし仮にあの名古屋コーチンが非政府組織であるかあるいは含めるかもしくは両方ともだとすればその自存自衛は恐懼しない fact5: 「新石器時代である」物はある fact6: すべては有り難ししそれは個人的努力だ
fact5 & fact2 -> int1: あの名古屋コーチンは非政府組織であるかまたはそれは含める; int1 & fact4 -> int2: その自存自衛は恐懼しない; int2 -> hypothesis;
fact5 & fact2 -> int1: ({B}{a} v {C}{a}); int1 & fact4 -> int2: ¬{D}{b}; int2 -> hypothesis;
この中古住宅市場は危ういか新石器時代であるかもしくは両方ともだ
fact8 -> int3: その自存自衛は有り難ししそれは個人的努力である; int3 -> int4: その自存自衛は有り難し; fact9 & int4 -> int5: 「あの名古屋コーチンは恐懼しないしまた動揺し易くない」ということは確かでない; fact7 & int5 -> int6: この中古住宅市場は含めない;
$facts$ = fact1: 仮に「あの名古屋コーチンは恐懼しなくてその上動揺し易くない」ということは間違いならばこの中古住宅市場は含めない fact2: もしある物が新石器時代ならばあの名古屋コーチンは非政府組織であるか含めるかまたは両方ともだ fact3: もしその自存自衛は有り難しとすると「あの名古屋コーチンは恐懼しないし動揺し易くない」ということは成り立つということはない fact4: もし仮にあの名古屋コーチンが非政府組織であるかあるいは含めるかもしくは両方ともだとすればその自存自衛は恐懼しない fact5: 「新石器時代である」物はある fact6: すべては有り難ししそれは個人的努力だ ; $hypothesis$ = 「その自存自衛は恐懼しないか動揺し易いかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
fact5 & fact2 -> int1: あの名古屋コーチンは非政府組織であるかまたはそれは含める; int1 & fact4 -> int2: その自存自衛は恐懼しない; int2 -> hypothesis; __DISPROVED__
事実1: 仮に「あの名古屋コーチンは恐懼しなくてその上動揺し易くない」ということは間違いならばこの中古住宅市場は含めない
事実2: もしある物が新石器時代ならばあの名古屋コーチンは非政府組織であるか含めるかまたは両方ともだ
事実3: もしその自存自衛は有り難しとすると「あの名古屋コーチンは恐懼しないし動揺し易くない」ということは成り立つということはない
事実4: もし仮にあの名古屋コーチンが非政府組織であるかあるいは含めるかもしくは両方ともだとすればその自存自衛は恐懼しない
事実5: 「新石器時代である」物はある
事実6: すべては有り難ししそれは個人的努力だ

仮説: 「その自存自衛は恐懼しないか動揺し易いかあるいはどちらもだ」ということは成り立たない
1. 事実5と事実2から、推論1: "あの名古屋コーチンは非政府組織であるかまたはそれは含める"が導かれる
2. 推論1と事実4から、推論2: "その自存自衛は恐懼しない"が導かれる
3. 推論2から、仮説が否定される

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