「あのテアルビジンは取れ易いかもしくはそれは終了出来る」ということは成り立たない
fact1: あの儒者は明滅しない fact2: 仮にあの儒者がＳＥＩでないとするとあのテアルビジンはＳＥＩであるかあるいは取れ易いかあるいは両方ともだ fact3: あのテアルビジンは据え兼ねらない fact4: あの儒者はＳＥＩでない fact5: あのテアルビジンは呼吸性アシドーシスでない fact6: あの儒者がＳＥＩだということはないならばあのテアルビジンはＳＥＩであるかもしくは終了出来るかもしくは両方だ fact7: もしあの儒者はＳＥＩでないならば取れ易くない fact8: あのテアルビジンは凝らない fact9: 「あの儒者は取れ易いか終了出来るかどちらもである」ということは本当である fact10: 「その長期滞在者は志願するか抜く」ということは本当だ fact11: もし「あの儒者は取れ易くない」ということは真実であるとするとあのテアルビジンは取れ易いかまたは終了出来るか両方ともである
fact7 & fact4 -> int1: あの儒者は取れ易いということはない; int1 & fact11 -> hypothesis;
fact7 & fact4 -> int1: ¬{B}{a}; int1 & fact11 -> hypothesis;
$facts$ = fact1: あの儒者は明滅しない fact2: 仮にあの儒者がＳＥＩでないとするとあのテアルビジンはＳＥＩであるかあるいは取れ易いかあるいは両方ともだ fact3: あのテアルビジンは据え兼ねらない fact4: あの儒者はＳＥＩでない fact5: あのテアルビジンは呼吸性アシドーシスでない fact6: あの儒者がＳＥＩだということはないならばあのテアルビジンはＳＥＩであるかもしくは終了出来るかもしくは両方だ fact7: もしあの儒者はＳＥＩでないならば取れ易くない fact8: あのテアルビジンは凝らない fact9: 「あの儒者は取れ易いか終了出来るかどちらもである」ということは本当である fact10: 「その長期滞在者は志願するか抜く」ということは本当だ fact11: もし「あの儒者は取れ易くない」ということは真実であるとするとあのテアルビジンは取れ易いかまたは終了出来るか両方ともである ; $hypothesis$ = 「あのテアルビジンは取れ易いかもしくはそれは終了出来る」ということは成り立たない ; $proof$ = 
fact7 & fact4 -> int1: あの儒者は取れ易いということはない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: あの儒者は明滅しない
事実2: 仮にあの儒者がＳＥＩでないとするとあのテアルビジンはＳＥＩであるかあるいは取れ易いかあるいは両方ともだ
事実3: あのテアルビジンは据え兼ねらない
事実4: あの儒者はＳＥＩでない
事実5: あのテアルビジンは呼吸性アシドーシスでない
事実6: あの儒者がＳＥＩだということはないならばあのテアルビジンはＳＥＩであるかもしくは終了出来るかもしくは両方だ
事実7: もしあの儒者はＳＥＩでないならば取れ易くない
事実8: あのテアルビジンは凝らない
事実9: 「あの儒者は取れ易いか終了出来るかどちらもである」ということは本当である
事実10: 「その長期滞在者は志願するか抜く」ということは本当だ
事実11: もし「あの儒者は取れ易くない」ということは真実であるとするとあのテアルビジンは取れ易いかまたは終了出来るか両方ともである

仮説: 「あのテアルビジンは取れ易いかもしくはそれは終了出来る」ということは成り立たない
1. 事実7と事実4から、推論1: "あの儒者は取れ易いということはない"が導かれる
2. 推論1と事実11から、仮説が否定される

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