「その全臓器は素晴らし」ということは正しい
fact1: もし何かは表示機能だということはないならば「素晴らししそれにパーソナリティ特性である」ということは本当である fact2: あの支給対象はパーソナリティ特性である fact3: 仮にあの支給対象がパーソナリティ特性でまた表示機能ならばあの全臓器は素晴らしない fact4: その全臓器はパーソナリティ特性でない fact5: 「あの支給対象は表示機能である」ということは成り立つ fact6: あの支給対象は独立栄養生物であるし素晴らし fact7: もし仮にとあるものが書き得るとすれば表示機能でないしさらにそれは物欲しい
fact2 & fact5 -> int1: あの支給対象はパーソナリティ特性であるしそれは表示機能である; int1 & fact3 -> hypothesis;
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis;
その全臓器は素晴らし
fact8 -> int2: その全臓器が表示機能でないとしたらそれは素晴らししおまけにそれはパーソナリティ特性だ; fact9 -> int3: もしもあの支給対象が書き得るとすればそれは表示機能だということはないしおまけに物欲しい;
$facts$ = fact1: もし何かは表示機能だということはないならば「素晴らししそれにパーソナリティ特性である」ということは本当である fact2: あの支給対象はパーソナリティ特性である fact3: 仮にあの支給対象がパーソナリティ特性でまた表示機能ならばあの全臓器は素晴らしない fact4: その全臓器はパーソナリティ特性でない fact5: 「あの支給対象は表示機能である」ということは成り立つ fact6: あの支給対象は独立栄養生物であるし素晴らし fact7: もし仮にとあるものが書き得るとすれば表示機能でないしさらにそれは物欲しい ; $hypothesis$ = 「その全臓器は素晴らし」ということは正しい ; $proof$ = 
fact2 & fact5 -> int1: あの支給対象はパーソナリティ特性であるしそれは表示機能である; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし何かは表示機能だということはないならば「素晴らししそれにパーソナリティ特性である」ということは本当である
事実2: あの支給対象はパーソナリティ特性である
事実3: 仮にあの支給対象がパーソナリティ特性でまた表示機能ならばあの全臓器は素晴らしない
事実4: その全臓器はパーソナリティ特性でない
事実5: 「あの支給対象は表示機能である」ということは成り立つ
事実6: あの支給対象は独立栄養生物であるし素晴らし
事実7: もし仮にとあるものが書き得るとすれば表示機能でないしさらにそれは物欲しい

仮説: 「その全臓器は素晴らし」ということは正しい
1. 事実2と事実5から、推論1: "あの支給対象はパーソナリティ特性であるしそれは表示機能である"が導かれる
2. 推論1と事実3から、仮説が否定される

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