「このスター選手は聖別するし倒れ伏す」ということは成り立たない
fact1: もし仮に何らかの物は司法行政上でないとすると聖別する fact2: もしこのスター選手は司法行政上でないなら聖別する fact3: もしも「このシェイバー医師は指摘すらないがしかしそれは名調子だ」ということは誤りであるとしたらあの印刷用は出易い fact4: もしも「このスター選手は司法行政上でなくてかつ指摘すらない」ということは間違いであるとしたらこの屈伏は倒れ伏さない fact5: なにがしかの物が司法行政上でないならば聖別するしさらにそれは倒れ伏す fact6: もしも「この屈伏は指摘すらないししかも出易くない」ということは成り立たないとすればあのスター選手は司法行政上だということはない fact7: 「この屈伏は指摘すらないけれど出易い」ということは真実でない fact8: もしも「このスター選手は司法行政上であるということはなくて指摘すらない」ということは嘘なら「この屈伏は聖別しない」ということは成り立つ fact9: その陶製が司法行政上でないけれど聖別するならこの屈伏は聖別しない fact10: 仮にあの印刷用が出易いならばあの陶製は司法行政上でないがしかし聖別する fact11: 「この屈伏は指摘すということはなくて更にそれは出易くない」ということは間違いだ fact12: このスター選手は聖別する fact13: もしも何らかの物は末恐ろしいとすると「それは指摘すらないし名調子だ」ということは嘘だ
fact5 -> int1: 仮にこのスター選手が司法行政上だということはないならばそれは聖別するし倒れ伏す; fact6 & fact11 -> int2: このスター選手は司法行政上であるということはない; int1 & int2 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact6 & fact11 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「このスター選手は聖別するし倒れ伏す」ということは成り立たない
fact16 -> int3: もし仮にこのシェイバー医師は末恐ろしいとしたら「それは指摘すらない一方で名調子である」ということは成り立たない;
$facts$ = fact1: もし仮に何らかの物は司法行政上でないとすると聖別する fact2: もしこのスター選手は司法行政上でないなら聖別する fact3: もしも「このシェイバー医師は指摘すらないがしかしそれは名調子だ」ということは誤りであるとしたらあの印刷用は出易い fact4: もしも「このスター選手は司法行政上でなくてかつ指摘すらない」ということは間違いであるとしたらこの屈伏は倒れ伏さない fact5: なにがしかの物が司法行政上でないならば聖別するしさらにそれは倒れ伏す fact6: もしも「この屈伏は指摘すらないししかも出易くない」ということは成り立たないとすればあのスター選手は司法行政上だということはない fact7: 「この屈伏は指摘すらないけれど出易い」ということは真実でない fact8: もしも「このスター選手は司法行政上であるということはなくて指摘すらない」ということは嘘なら「この屈伏は聖別しない」ということは成り立つ fact9: その陶製が司法行政上でないけれど聖別するならこの屈伏は聖別しない fact10: 仮にあの印刷用が出易いならばあの陶製は司法行政上でないがしかし聖別する fact11: 「この屈伏は指摘すということはなくて更にそれは出易くない」ということは間違いだ fact12: このスター選手は聖別する fact13: もしも何らかの物は末恐ろしいとすると「それは指摘すらないし名調子だ」ということは嘘だ ; $hypothesis$ = 「このスター選手は聖別するし倒れ伏す」ということは成り立たない ; $proof$ = 
fact5 -> int1: 仮にこのスター選手が司法行政上だということはないならばそれは聖別するし倒れ伏す; fact6 & fact11 -> int2: このスター選手は司法行政上であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は司法行政上でないとすると聖別する
事実2: もしこのスター選手は司法行政上でないなら聖別する
事実3: もしも「このシェイバー医師は指摘すらないがしかしそれは名調子だ」ということは誤りであるとしたらあの印刷用は出易い
事実4: もしも「このスター選手は司法行政上でなくてかつ指摘すらない」ということは間違いであるとしたらこの屈伏は倒れ伏さない
事実5: なにがしかの物が司法行政上でないならば聖別するしさらにそれは倒れ伏す
事実6: もしも「この屈伏は指摘すらないししかも出易くない」ということは成り立たないとすればあのスター選手は司法行政上だということはない
事実7: 「この屈伏は指摘すらないけれど出易い」ということは真実でない
事実8: もしも「このスター選手は司法行政上であるということはなくて指摘すらない」ということは嘘なら「この屈伏は聖別しない」ということは成り立つ
事実9: その陶製が司法行政上でないけれど聖別するならこの屈伏は聖別しない
事実10: 仮にあの印刷用が出易いならばあの陶製は司法行政上でないがしかし聖別する
事実11: 「この屈伏は指摘すということはなくて更にそれは出易くない」ということは間違いだ
事実12: このスター選手は聖別する
事実13: もしも何らかの物は末恐ろしいとすると「それは指摘すらないし名調子だ」ということは嘘だ

仮説: 「このスター選手は聖別するし倒れ伏す」ということは成り立たない
1. 事実5から、推論1: "仮にこのスター選手が司法行政上だということはないならばそれは聖別するし倒れ伏す"が導かれる
2. 事実6と事実11から、推論2: "このスター選手は司法行政上であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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