この浦河内はアクティブ八十ヘルスプランでない
fact1: もし仮に「そのクラス替えは著しかないしそれは手痛くない」ということは誤りならばそれは頭脳知でない fact2: 罹り易くない物は法人税収だしその上繰り越し控除限度額である fact3: もし仮にこの浦河内が心膜片でないけどリコリスだとしたらそれは罹り易くない fact4: 仮にあの血流増加が法人税収でないがそれが繰り越し控除限度額であるならこの浦河内はアクティブ八十ヘルスプランでない fact5: 仮に「頭脳知でない」物があるとしたらあの血流増加は法人税収でないけど繰り越し控除限度額である fact6: 「そのクラス替えは著しかないしその上手痛くない」ということは偽である fact7: もし仮になにかは頭脳知でないなら「法人税収だしアクティブ八十ヘルスプランだ」ということは成り立たない fact8: もし仮になんらかのものは法人税収だとすると「それはアクティブ八十ヘルスプランでないけど頭脳知である」ということは嘘だ fact9: もし「何かはアクティブ八十ヘルスプランでない一方で頭脳知である」ということは成り立つということはないとしたら「アクティブ八十ヘルスプランだ」ということは成り立つ fact10: 「そのクラス替えは法人税収でアクティブ八十ヘルスプランである」ということは本当でないとしたらその監委は法人税収だということはない
fact1 & fact6 -> int1: そのクラス替えは頭脳知でない; int1 -> int2: 「「頭脳知だということはない」ということは確かな」物はある; int2 & fact5 -> int3: あの血流増加は法人税収でないけど繰り越し控除限度額である; int3 & fact4 -> hypothesis;
「その監委は繰り越し控除限度額でないがしかし厄介払いする」ということは確かだ
fact12 -> int4: もしあの血流増加は頭脳知だということはないとすると「法人税収だしそれにそれはアクティブ八十ヘルスプランである」ということは成り立たない;
$facts$ = fact1: もし仮に「そのクラス替えは著しかないしそれは手痛くない」ということは誤りならばそれは頭脳知でない fact2: 罹り易くない物は法人税収だしその上繰り越し控除限度額である fact3: もし仮にこの浦河内が心膜片でないけどリコリスだとしたらそれは罹り易くない fact4: 仮にあの血流増加が法人税収でないがそれが繰り越し控除限度額であるならこの浦河内はアクティブ八十ヘルスプランでない fact5: 仮に「頭脳知でない」物があるとしたらあの血流増加は法人税収でないけど繰り越し控除限度額である fact6: 「そのクラス替えは著しかないしその上手痛くない」ということは偽である fact7: もし仮になにかは頭脳知でないなら「法人税収だしアクティブ八十ヘルスプランだ」ということは成り立たない fact8: もし仮になんらかのものは法人税収だとすると「それはアクティブ八十ヘルスプランでないけど頭脳知である」ということは嘘だ fact9: もし「何かはアクティブ八十ヘルスプランでない一方で頭脳知である」ということは成り立つということはないとしたら「アクティブ八十ヘルスプランだ」ということは成り立つ fact10: 「そのクラス替えは法人税収でアクティブ八十ヘルスプランである」ということは本当でないとしたらその監委は法人税収だということはない ; $hypothesis$ = この浦河内はアクティブ八十ヘルスプランでない ; $proof$ = 
fact1 & fact6 -> int1: そのクラス替えは頭脳知でない; int1 -> int2: 「「頭脳知だということはない」ということは確かな」物はある; int2 & fact5 -> int3: あの血流増加は法人税収でないけど繰り越し控除限度額である; int3 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「そのクラス替えは著しかないしそれは手痛くない」ということは誤りならばそれは頭脳知でない
事実2: 罹り易くない物は法人税収だしその上繰り越し控除限度額である
事実3: もし仮にこの浦河内が心膜片でないけどリコリスだとしたらそれは罹り易くない
事実4: 仮にあの血流増加が法人税収でないがそれが繰り越し控除限度額であるならこの浦河内はアクティブ八十ヘルスプランでない
事実5: 仮に「頭脳知でない」物があるとしたらあの血流増加は法人税収でないけど繰り越し控除限度額である
事実6: 「そのクラス替えは著しかないしその上手痛くない」ということは偽である
事実7: もし仮になにかは頭脳知でないなら「法人税収だしアクティブ八十ヘルスプランだ」ということは成り立たない
事実8: もし仮になんらかのものは法人税収だとすると「それはアクティブ八十ヘルスプランでないけど頭脳知である」ということは嘘だ
事実9: もし「何かはアクティブ八十ヘルスプランでない一方で頭脳知である」ということは成り立つということはないとしたら「アクティブ八十ヘルスプランだ」ということは成り立つ
事実10: 「そのクラス替えは法人税収でアクティブ八十ヘルスプランである」ということは本当でないとしたらその監委は法人税収だということはない

仮説: この浦河内はアクティブ八十ヘルスプランでない
1. 事実1と事実6から、推論1: "そのクラス替えは頭脳知でない"が導かれる
2. 推論1から、推論2: "「「頭脳知だということはない」ということは確かな」物はある"が導かれる
3. 推論2と事実5から、推論3: "あの血流増加は法人税収でないけど繰り越し控除限度額である"が導かれる
4. 推論3と事実4から、仮説が導かれる

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