このインクルーシブ教育は取り合わせる
fact1: この意味付け仮説は郵貯・簡保であるかもしくは走行出来るかもしくは両方だ fact2: この多角が歩けるとするとこのインクルーシブ教育は取り合わせる fact3: この多角は入れ易いかもしくは歩けるかまたは両方だ fact4: もしもこの多角が入れ易いとすればこのインクルーシブ教育は取り合わせる fact5: 入れ易いものはずんぐりする
fact3 & fact4 & fact2 -> hypothesis;
fact3 & fact4 & fact2 -> hypothesis;
この元看護婦はずんぐりするかもしくはそれは捏ね上げるかまたは両方である
fact6 -> int1: もしこの元看護婦が入れ易いとすればずんぐりする;
$facts$ = fact1: この意味付け仮説は郵貯・簡保であるかもしくは走行出来るかもしくは両方だ fact2: この多角が歩けるとするとこのインクルーシブ教育は取り合わせる fact3: この多角は入れ易いかもしくは歩けるかまたは両方だ fact4: もしもこの多角が入れ易いとすればこのインクルーシブ教育は取り合わせる fact5: 入れ易いものはずんぐりする ; $hypothesis$ = このインクルーシブ教育は取り合わせる ; $proof$ = 
fact3 & fact4 & fact2 -> hypothesis; __PROVED__
事実1: この意味付け仮説は郵貯・簡保であるかもしくは走行出来るかもしくは両方だ
事実2: この多角が歩けるとするとこのインクルーシブ教育は取り合わせる
事実3: この多角は入れ易いかもしくは歩けるかまたは両方だ
事実4: もしもこの多角が入れ易いとすればこのインクルーシブ教育は取り合わせる
事実5: 入れ易いものはずんぐりする

仮説: このインクルーシブ教育は取り合わせる
1. 事実3と事実4と事実2から、仮説が導かれる

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