「そのチューン・シートは俯瞰するし加えて千人以上である」ということは成り立たない
fact1: そのチューン・シートは御詫びする fact2: そのチューン・シートは久し fact3: そのチューン・シートは立て易い fact4: もしもその決算報告が御詫びすればそのチューン・シートは僻みっぽくないけれど立て易い fact5: 仮に何らかの物が俯瞰しないが千人以上であるならば「それは御詫びしない」ということは成り立たない fact6: その決算報告は外れであるしそれは千人以上だ fact7: もしもその決算報告が立て易いならばそのチューン・シートは僻みっぽくないが御詫びする fact8: その決算報告は立て易い fact9: もし仮に僻みっぽくない物が御詫びするとしたらそれは俯瞰する fact10: この火炙りは僻みっぽい fact11: そのチューン・シートは千人以上である fact12: そのチューン・シートは独占販売する fact13: もし「その決算報告は立て易い」ということは本当であるとしたらそのチューン・シートは御詫びする fact14: その決算報告は千人以上だ fact15: そのチューン・シートは皮肉っぽいし加えて御詫びする fact16: その団子状は千人以上だ fact17: もし仮にそのチューン・シートが立て易いとするとその決算報告は御詫びしないけどそれは千人以上だ
fact9 -> int1: もしそのチューン・シートは僻みっぽくないけれど御詫びするとすればそれは俯瞰する; fact7 & fact8 -> int2: そのチューン・シートは僻みっぽくないけれど御詫びする; int1 & int2 -> int3: そのチューン・シートは俯瞰する; int3 & fact11 -> hypothesis;
$facts$ = fact1: そのチューン・シートは御詫びする fact2: そのチューン・シートは久し fact3: そのチューン・シートは立て易い fact4: もしもその決算報告が御詫びすればそのチューン・シートは僻みっぽくないけれど立て易い fact5: 仮に何らかの物が俯瞰しないが千人以上であるならば「それは御詫びしない」ということは成り立たない fact6: その決算報告は外れであるしそれは千人以上だ fact7: もしもその決算報告が立て易いならばそのチューン・シートは僻みっぽくないが御詫びする fact8: その決算報告は立て易い fact9: もし仮に僻みっぽくない物が御詫びするとしたらそれは俯瞰する fact10: この火炙りは僻みっぽい fact11: そのチューン・シートは千人以上である fact12: そのチューン・シートは独占販売する fact13: もし「その決算報告は立て易い」ということは本当であるとしたらそのチューン・シートは御詫びする fact14: その決算報告は千人以上だ fact15: そのチューン・シートは皮肉っぽいし加えて御詫びする fact16: その団子状は千人以上だ fact17: もし仮にそのチューン・シートが立て易いとするとその決算報告は御詫びしないけどそれは千人以上だ ; $hypothesis$ = 「そのチューン・シートは俯瞰するし加えて千人以上である」ということは成り立たない ; $proof$ = 
fact9 -> int1: もしそのチューン・シートは僻みっぽくないけれど御詫びするとすればそれは俯瞰する; fact7 & fact8 -> int2: そのチューン・シートは僻みっぽくないけれど御詫びする; int1 & int2 -> int3: そのチューン・シートは俯瞰する; int3 & fact11 -> hypothesis; __DISPROVED__
事実1: そのチューン・シートは御詫びする
事実2: そのチューン・シートは久し
事実3: そのチューン・シートは立て易い
事実4: もしもその決算報告が御詫びすればそのチューン・シートは僻みっぽくないけれど立て易い
事実5: 仮に何らかの物が俯瞰しないが千人以上であるならば「それは御詫びしない」ということは成り立たない
事実6: その決算報告は外れであるしそれは千人以上だ
事実7: もしもその決算報告が立て易いならばそのチューン・シートは僻みっぽくないが御詫びする
事実8: その決算報告は立て易い
事実9: もし仮に僻みっぽくない物が御詫びするとしたらそれは俯瞰する
事実10: この火炙りは僻みっぽい
事実11: そのチューン・シートは千人以上である
事実12: そのチューン・シートは独占販売する
事実13: もし「その決算報告は立て易い」ということは本当であるとしたらそのチューン・シートは御詫びする
事実14: その決算報告は千人以上だ
事実15: そのチューン・シートは皮肉っぽいし加えて御詫びする
事実16: その団子状は千人以上だ
事実17: もし仮にそのチューン・シートが立て易いとするとその決算報告は御詫びしないけどそれは千人以上だ

仮説: 「そのチューン・シートは俯瞰するし加えて千人以上である」ということは成り立たない
1. 事実9から、推論1: "もしそのチューン・シートは僻みっぽくないけれど御詫びするとすればそれは俯瞰する"が導かれる
2. 事実7と事実8から、推論2: "そのチューン・シートは僻みっぽくないけれど御詫びする"が導かれる
3. 推論1と推論2から、推論3: "そのチューン・シートは俯瞰する"が導かれる
4. 推論3と事実11から、仮説が否定される

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