「もし仮に「肝機能障害である」ということは成り立つなら「御構い無くなくて世帯員数だ」ということは成り立たない」ものはある
fact1: 仮にあのドーナツは肝機能障害だとしたら「御構い無くないが世帯員数だ」ということは成り立たない fact2: 何かは逃げ回るなら「裂果だということはないがしかし管理活動だ」ということは嘘である
fact1 -> hypothesis;
「もしも逃げ回るとすると「裂果でないけれど管理活動である」ということは成り立たない」物はある
fact3 -> int1: もし仮にあの軍隊用語は逃げ回るなら「裂果でないしまた管理活動だ」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: 仮にあのドーナツは肝機能障害だとしたら「御構い無くないが世帯員数だ」ということは成り立たない fact2: 何かは逃げ回るなら「裂果だということはないがしかし管理活動だ」ということは嘘である ; $hypothesis$ = 「もし仮に「肝機能障害である」ということは成り立つなら「御構い無くなくて世帯員数だ」ということは成り立たない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にあのドーナツは肝機能障害だとしたら「御構い無くないが世帯員数だ」ということは成り立たない
事実2: 何かは逃げ回るなら「裂果だということはないがしかし管理活動だ」ということは嘘である

仮説: 「もし仮に「肝機能障害である」ということは成り立つなら「御構い無くなくて世帯員数だ」ということは成り立たない」ものはある
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。