「「マックＯＳでないなら日野ＫＣ‐ＲＵであるし更に判定でない」ものはある」ということは成り立たない
fact1: 「もしもマックＯＳであるならば日野ＫＣ‐ＲＵだけど判定でない」ものはある fact2: 「もし仮に吹き上げないとすればどうしても欲しくない」物はある fact3: もしもその支払い利息がマックＯＳであるということはないとすると日野ＫＣ‐ＲＵでそれに判定だ fact4: もしその支払い利息はマックＯＳでないならそれは日野ＫＣ‐ＲＵであるけど判定でない fact5: 恋しかないものは苛々し易いがしかしプリント生地であるということはない fact6: もしもその支払い利息はマックＯＳでないならばそれは日野ＫＣ‐ＲＵである fact7: 何かはマックＯＳでないとするとそれは御呼びするしそれは申請しない fact8: 「青臭いということはないとしたら人間らしくない」ものはある fact9: もし仮にその好都合は寒ーいとすれば「捩り上げるしさらにそれは日野ＫＣ‐ＲＵでない」ということは本当だ fact10: 「仮に慕わしくないならばサイクロンでない」ものはある fact11: 「緩くないとするとみみっちくて再選しない」ものはある
fact4 -> hypothesis;
「恋しかないとすれば苛々し易いがプリント生地でない」ものはある
fact12 -> int1: もしもその家庭用が恋しかないならば苛々し易いがプリント生地でない; int1 -> hypothesis;
$facts$ = fact1: 「もしもマックＯＳであるならば日野ＫＣ‐ＲＵだけど判定でない」ものはある fact2: 「もし仮に吹き上げないとすればどうしても欲しくない」物はある fact3: もしもその支払い利息がマックＯＳであるということはないとすると日野ＫＣ‐ＲＵでそれに判定だ fact4: もしその支払い利息はマックＯＳでないならそれは日野ＫＣ‐ＲＵであるけど判定でない fact5: 恋しかないものは苛々し易いがしかしプリント生地であるということはない fact6: もしもその支払い利息はマックＯＳでないならばそれは日野ＫＣ‐ＲＵである fact7: 何かはマックＯＳでないとするとそれは御呼びするしそれは申請しない fact8: 「青臭いということはないとしたら人間らしくない」ものはある fact9: もし仮にその好都合は寒ーいとすれば「捩り上げるしさらにそれは日野ＫＣ‐ＲＵでない」ということは本当だ fact10: 「仮に慕わしくないならばサイクロンでない」ものはある fact11: 「緩くないとするとみみっちくて再選しない」ものはある ; $hypothesis$ = 「「マックＯＳでないなら日野ＫＣ‐ＲＵであるし更に判定でない」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もしもマックＯＳであるならば日野ＫＣ‐ＲＵだけど判定でない」ものはある
事実2: 「もし仮に吹き上げないとすればどうしても欲しくない」物はある
事実3: もしもその支払い利息がマックＯＳであるということはないとすると日野ＫＣ‐ＲＵでそれに判定だ
事実4: もしその支払い利息はマックＯＳでないならそれは日野ＫＣ‐ＲＵであるけど判定でない
事実5: 恋しかないものは苛々し易いがしかしプリント生地であるということはない
事実6: もしもその支払い利息はマックＯＳでないならばそれは日野ＫＣ‐ＲＵである
事実7: 何かはマックＯＳでないとするとそれは御呼びするしそれは申請しない
事実8: 「青臭いということはないとしたら人間らしくない」ものはある
事実9: もし仮にその好都合は寒ーいとすれば「捩り上げるしさらにそれは日野ＫＣ‐ＲＵでない」ということは本当だ
事実10: 「仮に慕わしくないならばサイクロンでない」ものはある
事実11: 「緩くないとするとみみっちくて再選しない」ものはある

仮説: 「「マックＯＳでないなら日野ＫＣ‐ＲＵであるし更に判定でない」ものはある」ということは成り立たない
1. 事実4から、仮説が否定される

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