その社会的相互作用は要介護・要支援であるか抜き返す
fact1: 「その社会的相互作用は特製しないけど要介護・要支援だ」ということは成り立たない fact2: 「その拝は要介護・要支援であるしそれに特製する」ということは偽だ fact3: それは要介護・要支援でないし抜き返すという物はない fact4: 「その社会的相互作用は特製しない一方でそれは御宜しい」ということは間違っているとしたらその拝は抜き返す fact5: もし仮にその社会的相互作用が闘争するならこの健側は闘争する fact6: それは御宜しくないけど特製するというものはない fact7: もし仮に「その拝は御宜しくないけど特製する」ということは成り立たないとしたら「その社会的相互作用は要介護・要支援だ」ということは真実である fact8: あの資産買収はＢＳＥ事件であるかもしくは流浪するか両方である
fact6 -> int1: 「その拝は御宜しくないけれどそれは特製する」ということは確かでない; int1 & fact7 -> int2: その社会的相互作用は要介護・要支援だ; int2 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact7 -> int2: {A}{a}; int2 -> hypothesis;
この健側は闘争するかまたは特製するか両方ともだ
$facts$ = fact1: 「その社会的相互作用は特製しないけど要介護・要支援だ」ということは成り立たない fact2: 「その拝は要介護・要支援であるしそれに特製する」ということは偽だ fact3: それは要介護・要支援でないし抜き返すという物はない fact4: 「その社会的相互作用は特製しない一方でそれは御宜しい」ということは間違っているとしたらその拝は抜き返す fact5: もし仮にその社会的相互作用が闘争するならこの健側は闘争する fact6: それは御宜しくないけど特製するというものはない fact7: もし仮に「その拝は御宜しくないけど特製する」ということは成り立たないとしたら「その社会的相互作用は要介護・要支援だ」ということは真実である fact8: あの資産買収はＢＳＥ事件であるかもしくは流浪するか両方である ; $hypothesis$ = その社会的相互作用は要介護・要支援であるか抜き返す ; $proof$ = 
fact6 -> int1: 「その拝は御宜しくないけれどそれは特製する」ということは確かでない; int1 & fact7 -> int2: その社会的相互作用は要介護・要支援だ; int2 -> hypothesis; __PROVED__
事実1: 「その社会的相互作用は特製しないけど要介護・要支援だ」ということは成り立たない
事実2: 「その拝は要介護・要支援であるしそれに特製する」ということは偽だ
事実3: それは要介護・要支援でないし抜き返すという物はない
事実4: 「その社会的相互作用は特製しない一方でそれは御宜しい」ということは間違っているとしたらその拝は抜き返す
事実5: もし仮にその社会的相互作用が闘争するならこの健側は闘争する
事実6: それは御宜しくないけど特製するというものはない
事実7: もし仮に「その拝は御宜しくないけど特製する」ということは成り立たないとしたら「その社会的相互作用は要介護・要支援だ」ということは真実である
事実8: あの資産買収はＢＳＥ事件であるかもしくは流浪するか両方である

仮説: その社会的相互作用は要介護・要支援であるか抜き返す
1. 事実6から、推論1: "「その拝は御宜しくないけれどそれは特製する」ということは確かでない"が導かれる
2. 推論1と事実7から、推論2: "その社会的相互作用は要介護・要支援だ"が導かれる
3. 推論2から、仮説が導かれる

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