このディフェンスタックルは身体活動量だ
fact1: もし何らかのものは身体活動量でないとすると「それは独自商品であるししかもそれは思索するということはない」ということは成り立たない fact2: 「あのＶＴは身体活動量でかつ完全武装する」ということは嘘だ fact3: 仮に「「ペティだが完全武装しない」ということは確かであるということはない」物はあるとしたら「このディフェンスタックルは身体活動量だ」ということは誤っているということはない fact4: このディフェンスタックルは暮らし続ける fact5: あの複式は身体活動量である fact6: この菜種油が衆参両院であるかまたはそれは身体活動量であるとしたら「このディフェンスタックルは身体活動量だということはない」ということは嘘だということはない fact7: 「なんらかのものはペティであるけど完全武装するということはない」ということは本当だ fact8: 「あのＶＴはペティであるがしかし完全武装しない」ということは嘘である
fact8 -> int1: 「「ペティだし加えて完全武装しない」ということは成り立たない」物はある; int1 & fact3 -> hypothesis;
fact8 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact3 -> hypothesis;
このディフェンスタックルは身体活動量でない
$facts$ = fact1: もし何らかのものは身体活動量でないとすると「それは独自商品であるししかもそれは思索するということはない」ということは成り立たない fact2: 「あのＶＴは身体活動量でかつ完全武装する」ということは嘘だ fact3: 仮に「「ペティだが完全武装しない」ということは確かであるということはない」物はあるとしたら「このディフェンスタックルは身体活動量だ」ということは誤っているということはない fact4: このディフェンスタックルは暮らし続ける fact5: あの複式は身体活動量である fact6: この菜種油が衆参両院であるかまたはそれは身体活動量であるとしたら「このディフェンスタックルは身体活動量だということはない」ということは嘘だということはない fact7: 「なんらかのものはペティであるけど完全武装するということはない」ということは本当だ fact8: 「あのＶＴはペティであるがしかし完全武装しない」ということは嘘である ; $hypothesis$ = このディフェンスタックルは身体活動量だ ; $proof$ = 
fact8 -> int1: 「「ペティだし加えて完全武装しない」ということは成り立たない」物はある; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし何らかのものは身体活動量でないとすると「それは独自商品であるししかもそれは思索するということはない」ということは成り立たない
事実2: 「あのＶＴは身体活動量でかつ完全武装する」ということは嘘だ
事実3: 仮に「「ペティだが完全武装しない」ということは確かであるということはない」物はあるとしたら「このディフェンスタックルは身体活動量だ」ということは誤っているということはない
事実4: このディフェンスタックルは暮らし続ける
事実5: あの複式は身体活動量である
事実6: この菜種油が衆参両院であるかまたはそれは身体活動量であるとしたら「このディフェンスタックルは身体活動量だということはない」ということは嘘だということはない
事実7: 「なんらかのものはペティであるけど完全武装するということはない」ということは本当だ
事実8: 「あのＶＴはペティであるがしかし完全武装しない」ということは嘘である

仮説: このディフェンスタックルは身体活動量だ
1. 事実8から、推論1: "「「ペティだし加えて完全武装しない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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