「このマックＯＳはきな臭くなくて更にそれは舞い始めない」ということは事実と異なる
fact1: あのびらは深呼吸しない fact2: あのフリースローラインは冗談ぽくないしまた及び難くない fact3: あのフリースローラインは深呼吸しない fact4: 「このマックＯＳは太しかもしくは保険給付する」ということは成り立たない fact5: あのフリースローラインは固くない fact6: もしも「このマックＯＳは太しかもしくは保険給付するか両方だ」ということは成り立たないとするとそれは舞い始めない fact7: 「あの誤審は太しない」ということは正しい fact8: 仮にあのフリースローラインが固くないし加えてそれが深呼吸しないとしたらこのマックＯＳはきな臭くない
fact5 & fact3 -> int1: 「あのフリースローラインは固くないし加えて深呼吸しない」ということは成り立つ; int1 & fact8 -> int2: このマックＯＳはきな臭くない; fact4 & fact6 -> int3: 「このマックＯＳは舞い始めない」ということは成り立つ; int2 & int3 -> hypothesis;
$facts$ = fact1: あのびらは深呼吸しない fact2: あのフリースローラインは冗談ぽくないしまた及び難くない fact3: あのフリースローラインは深呼吸しない fact4: 「このマックＯＳは太しかもしくは保険給付する」ということは成り立たない fact5: あのフリースローラインは固くない fact6: もしも「このマックＯＳは太しかもしくは保険給付するか両方だ」ということは成り立たないとするとそれは舞い始めない fact7: 「あの誤審は太しない」ということは正しい fact8: 仮にあのフリースローラインが固くないし加えてそれが深呼吸しないとしたらこのマックＯＳはきな臭くない ; $hypothesis$ = 「このマックＯＳはきな臭くなくて更にそれは舞い始めない」ということは事実と異なる ; $proof$ = 
fact5 & fact3 -> int1: 「あのフリースローラインは固くないし加えて深呼吸しない」ということは成り立つ; int1 & fact8 -> int2: このマックＯＳはきな臭くない; fact4 & fact6 -> int3: 「このマックＯＳは舞い始めない」ということは成り立つ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あのびらは深呼吸しない
事実2: あのフリースローラインは冗談ぽくないしまた及び難くない
事実3: あのフリースローラインは深呼吸しない
事実4: 「このマックＯＳは太しかもしくは保険給付する」ということは成り立たない
事実5: あのフリースローラインは固くない
事実6: もしも「このマックＯＳは太しかもしくは保険給付するか両方だ」ということは成り立たないとするとそれは舞い始めない
事実7: 「あの誤審は太しない」ということは正しい
事実8: 仮にあのフリースローラインが固くないし加えてそれが深呼吸しないとしたらこのマックＯＳはきな臭くない

仮説: 「このマックＯＳはきな臭くなくて更にそれは舞い始めない」ということは事実と異なる
1. 事実5と事実3から、推論1: "「あのフリースローラインは固くないし加えて深呼吸しない」ということは成り立つ"が導かれる
2. 推論1と事実8から、推論2: "このマックＯＳはきな臭くない"が導かれる
3. 事実4と事実6から、推論3: "「このマックＯＳは舞い始めない」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が否定される

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