「「もし総所得だとすれば「擽ったいし自国民だということはない」ということは成り立たない」物はある」ということは成り立たない
fact1: もし「このＰＴＡ役員は総所得だ」ということは正しいとすれば擽ったいけれど自国民でない fact2: もしなにがしかのものは得るとしたら「密航するししかもプレゼンする」ということは間違いだ fact3: もしも何かは総所得であるなら「それは擽ったくてまた自国民でない」ということは成り立たない fact4: 若々しいものは納得するが家族同士だということはない
fact3 -> int1: もしこのＰＴＡ役員は総所得だとしたら「擽ったくて自国民でない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし「このＰＴＡ役員は総所得だ」ということは正しいとすれば擽ったいけれど自国民でない fact2: もしなにがしかのものは得るとしたら「密航するししかもプレゼンする」ということは間違いだ fact3: もしも何かは総所得であるなら「それは擽ったくてまた自国民でない」ということは成り立たない fact4: 若々しいものは納得するが家族同士だということはない ; $hypothesis$ = 「「もし総所得だとすれば「擽ったいし自国民だということはない」ということは成り立たない」物はある」ということは成り立たない ; $proof$ = 
fact3 -> int1: もしこのＰＴＡ役員は総所得だとしたら「擽ったくて自国民でない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: もし「このＰＴＡ役員は総所得だ」ということは正しいとすれば擽ったいけれど自国民でない
事実2: もしなにがしかのものは得るとしたら「密航するししかもプレゼンする」ということは間違いだ
事実3: もしも何かは総所得であるなら「それは擽ったくてまた自国民でない」ということは成り立たない
事実4: 若々しいものは納得するが家族同士だということはない

仮説: 「「もし総所得だとすれば「擽ったいし自国民だということはない」ということは成り立たない」物はある」ということは成り立たない
1. 事実3から、推論1: "もしこのＰＴＡ役員は総所得だとしたら「擽ったくて自国民でない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。