「このＲＦ方式は痒いかあるいは信じ易くない」ということは誤っている
fact1: 仮にその真西は痒くないとすると「このＲＦ方式は島国男子であるかまたは信じ易くないかまたは両方だ」ということは成り立たない fact2: なにかは艶っぽくないなら「それは痒いし島国男子だ」ということは本当だ fact3: 「「このＲＦ方式は島国男子であるかあるいはそれは信じ易くない」ということは偽でない」ということは成り立たない fact4: 仮にその真西は島国男子でないとすると「このＲＦ方式は痒いかもしくは信じ易くない」ということは嘘である fact5: 「その真西は島国男子でない」ということは真実である
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
このＲＦ方式は痒いかそれは信じ易いということはないかもしくはどちらもだ
fact6 -> int1: もしもこのＲＦ方式が艶っぽくないならば痒くてさらにそれは島国男子である;
$facts$ = fact1: 仮にその真西は痒くないとすると「このＲＦ方式は島国男子であるかまたは信じ易くないかまたは両方だ」ということは成り立たない fact2: なにかは艶っぽくないなら「それは痒いし島国男子だ」ということは本当だ fact3: 「「このＲＦ方式は島国男子であるかあるいはそれは信じ易くない」ということは偽でない」ということは成り立たない fact4: 仮にその真西は島国男子でないとすると「このＲＦ方式は痒いかもしくは信じ易くない」ということは嘘である fact5: 「その真西は島国男子でない」ということは真実である ; $hypothesis$ = 「このＲＦ方式は痒いかあるいは信じ易くない」ということは誤っている ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: 仮にその真西は痒くないとすると「このＲＦ方式は島国男子であるかまたは信じ易くないかまたは両方だ」ということは成り立たない
事実2: なにかは艶っぽくないなら「それは痒いし島国男子だ」ということは本当だ
事実3: 「「このＲＦ方式は島国男子であるかあるいはそれは信じ易くない」ということは偽でない」ということは成り立たない
事実4: 仮にその真西は島国男子でないとすると「このＲＦ方式は痒いかもしくは信じ易くない」ということは嘘である
事実5: 「その真西は島国男子でない」ということは真実である

仮説: 「このＲＦ方式は痒いかあるいは信じ易くない」ということは誤っている
1. 事実4と事実5から、仮説が導かれる

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