あの家族団欒は交渉成立である
fact1: もしも何らかの物が伸ばし易くないかまたは生活事実であるかあるいはどちらもだとするとそれは交渉成立だ fact2: あの家族団欒は伸ばし易い fact3: そのキー局は伸ばし易い fact4: この羊乳製は重くて交渉成立だ fact5: そのキー局は生活事実である fact6: 伸ばし易い物は生活事実であるとすると「あの家族団欒は交渉成立でない」ということは成り立つ fact7: 「生活事実でそれに交渉成立な」物はある
fact3 & fact5 -> int1: そのキー局は伸ばし易くてそれは生活事実である; int1 -> int2: 「伸ばし易いしその上生活事実である」物はある; int2 & fact6 -> hypothesis;
あの家族団欒は交渉成立である
fact8 -> int3: もし仮にあの家族団欒が伸ばし易くないか生活事実であるかまたは両方ともならば交渉成立だ;
$facts$ = fact1: もしも何らかの物が伸ばし易くないかまたは生活事実であるかあるいはどちらもだとするとそれは交渉成立だ fact2: あの家族団欒は伸ばし易い fact3: そのキー局は伸ばし易い fact4: この羊乳製は重くて交渉成立だ fact5: そのキー局は生活事実である fact6: 伸ばし易い物は生活事実であるとすると「あの家族団欒は交渉成立でない」ということは成り立つ fact7: 「生活事実でそれに交渉成立な」物はある ; $hypothesis$ = あの家族団欒は交渉成立である ; $proof$ = 
fact3 & fact5 -> int1: そのキー局は伸ばし易くてそれは生活事実である; int1 -> int2: 「伸ばし易いしその上生活事実である」物はある; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が伸ばし易くないかまたは生活事実であるかあるいはどちらもだとするとそれは交渉成立だ
事実2: あの家族団欒は伸ばし易い
事実3: そのキー局は伸ばし易い
事実4: この羊乳製は重くて交渉成立だ
事実5: そのキー局は生活事実である
事実6: 伸ばし易い物は生活事実であるとすると「あの家族団欒は交渉成立でない」ということは成り立つ
事実7: 「生活事実でそれに交渉成立な」物はある

仮説: あの家族団欒は交渉成立である
1. 事実3と事実5から、推論1: "そのキー局は伸ばし易くてそれは生活事実である"が導かれる
2. 推論1から、推論2: "「伸ばし易いしその上生活事実である」物はある"が導かれる
3. 推論2と事実6から、仮説が否定される

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