「「「健康生活でないかあるいは勉強し為さるということはないかどちらもだ」ということは誤りな」ものはある」ということは事実と異なる
fact1: 「勉強し為さる」ものはある fact2: 「「健康生活である」ということは本当な」ものはある fact3: もし仮に「「懐剣だ」ということは成り立つ」物はあるなら「この牧草地帯は健康生活でないかまたは勉強し為さらないかあるいは両方ともだ」ということは成り立たない fact4: そのＢ玄関は懐剣である fact5: もし仮に「懐剣な」物があるならこの牧草地帯は健康生活である fact6: 「「間違い易いということはないかもしくは船体でない」ということは成り立たない」物はある fact7: 「「健康生活であるかもしくは勉強し為さらないかあるいは両方だ」ということは間違いである」ものはある fact8: もし仮に「勉強し為さる」ものがあるならこの日支は懐剣でない
fact4 -> int1: 「懐剣な」物はある; int1 & fact3 -> int2: 「この牧草地帯は健康生活でないかそれは勉強し為さるということはないか両方である」ということは成り立たない; int2 -> hypothesis;
「支援開始当初である」物はある
$facts$ = fact1: 「勉強し為さる」ものはある fact2: 「「健康生活である」ということは本当な」ものはある fact3: もし仮に「「懐剣だ」ということは成り立つ」物はあるなら「この牧草地帯は健康生活でないかまたは勉強し為さらないかあるいは両方ともだ」ということは成り立たない fact4: そのＢ玄関は懐剣である fact5: もし仮に「懐剣な」物があるならこの牧草地帯は健康生活である fact6: 「「間違い易いということはないかもしくは船体でない」ということは成り立たない」物はある fact7: 「「健康生活であるかもしくは勉強し為さらないかあるいは両方だ」ということは間違いである」ものはある fact8: もし仮に「勉強し為さる」ものがあるならこの日支は懐剣でない ; $hypothesis$ = 「「「健康生活でないかあるいは勉強し為さるということはないかどちらもだ」ということは誤りな」ものはある」ということは事実と異なる ; $proof$ = 
fact4 -> int1: 「懐剣な」物はある; int1 & fact3 -> int2: 「この牧草地帯は健康生活でないかそれは勉強し為さるということはないか両方である」ということは成り立たない; int2 -> hypothesis; __DISPROVED__
事実1: 「勉強し為さる」ものはある
事実2: 「「健康生活である」ということは本当な」ものはある
事実3: もし仮に「「懐剣だ」ということは成り立つ」物はあるなら「この牧草地帯は健康生活でないかまたは勉強し為さらないかあるいは両方ともだ」ということは成り立たない
事実4: そのＢ玄関は懐剣である
事実5: もし仮に「懐剣な」物があるならこの牧草地帯は健康生活である
事実6: 「「間違い易いということはないかもしくは船体でない」ということは成り立たない」物はある
事実7: 「「健康生活であるかもしくは勉強し為さらないかあるいは両方だ」ということは間違いである」ものはある
事実8: もし仮に「勉強し為さる」ものがあるならこの日支は懐剣でない

仮説: 「「「健康生活でないかあるいは勉強し為さるということはないかどちらもだ」ということは誤りな」ものはある」ということは事実と異なる
1. 事実4から、推論1: "「懐剣な」物はある"が導かれる
2. 推論1と事実3から、推論2: "「この牧草地帯は健康生活でないかそれは勉強し為さるということはないか両方である」ということは成り立たない"が導かれる
3. 推論2から、仮説が否定される

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