この慢性関節リウマチは完了するけど出生時体重でない
fact1: もし仮に「その五大湖周辺ははらはらしないかあるいは別種類だということはないか両方ともである」ということは偽であるとすればこの隷下は走らすということはない fact2: もしこの隷下が完了しないとすればこの慢性関節リウマチは走らすけれどそれは別種類だということはない fact3: 仮にこの隷下が走らさないとすればこの慢性関節リウマチは完了するが出生時体重でない fact4: もしもなにかはっ早いとしたらそれは走らす fact5: もしもその五大湖周辺は走らせば「この慢性関節リウマチは完了するがしかし出生時体重でない」ということは偽である fact6: 「その五大湖周辺ははらはらするということはないかあるいはそれは別種類でない」ということは事実と異なる
fact1 & fact6 -> int1: この隷下は走らさない; int1 & fact3 -> hypothesis;
fact1 & fact6 -> int1: ¬{B}{b}; int1 & fact3 -> hypothesis;
「この慢性関節リウマチは完了するけれどそれは出生時体重でない」ということは成り立たない
fact7 -> int2: その五大湖周辺がっ早いとしたら走らす;
$facts$ = fact1: もし仮に「その五大湖周辺ははらはらしないかあるいは別種類だということはないか両方ともである」ということは偽であるとすればこの隷下は走らすということはない fact2: もしこの隷下が完了しないとすればこの慢性関節リウマチは走らすけれどそれは別種類だということはない fact3: 仮にこの隷下が走らさないとすればこの慢性関節リウマチは完了するが出生時体重でない fact4: もしもなにかはっ早いとしたらそれは走らす fact5: もしもその五大湖周辺は走らせば「この慢性関節リウマチは完了するがしかし出生時体重でない」ということは偽である fact6: 「その五大湖周辺ははらはらするということはないかあるいはそれは別種類でない」ということは事実と異なる ; $hypothesis$ = この慢性関節リウマチは完了するけど出生時体重でない ; $proof$ = 
fact1 & fact6 -> int1: この隷下は走らさない; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「その五大湖周辺ははらはらしないかあるいは別種類だということはないか両方ともである」ということは偽であるとすればこの隷下は走らすということはない
事実2: もしこの隷下が完了しないとすればこの慢性関節リウマチは走らすけれどそれは別種類だということはない
事実3: 仮にこの隷下が走らさないとすればこの慢性関節リウマチは完了するが出生時体重でない
事実4: もしもなにかはっ早いとしたらそれは走らす
事実5: もしもその五大湖周辺は走らせば「この慢性関節リウマチは完了するがしかし出生時体重でない」ということは偽である
事実6: 「その五大湖周辺ははらはらするということはないかあるいはそれは別種類でない」ということは事実と異なる

仮説: この慢性関節リウマチは完了するけど出生時体重でない
1. 事実1と事実6から、推論1: "この隷下は走らさない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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