この真偽屋は実査でない
fact1: もし仮に「なにかは実査だが素人っぽくない」ということは嘘ならそれは実査でない fact2: とある物が比定すればそれは実査だ fact3: あのポリは実査だ fact4: この真偽屋は比定するしおまけに実査である
fact4 -> hypothesis;
fact4 -> hypothesis;
この真偽屋は実査でない
fact5 -> int1: もしも「この真偽屋は実査であるがしかしそれは素人っぽくない」ということは事実と異なれば実査でない;
$facts$ = fact1: もし仮に「なにかは実査だが素人っぽくない」ということは嘘ならそれは実査でない fact2: とある物が比定すればそれは実査だ fact3: あのポリは実査だ fact4: この真偽屋は比定するしおまけに実査である ; $hypothesis$ = この真偽屋は実査でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにかは実査だが素人っぽくない」ということは嘘ならそれは実査でない
事実2: とある物が比定すればそれは実査だ
事実3: あのポリは実査だ
事実4: この真偽屋は比定するしおまけに実査である

仮説: この真偽屋は実査でない
1. 事実4から、仮説が否定される

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