その連結付属説明書は見境無くない
fact1: もし仮になにかは手早いとしたら見境無い fact2: その連結付属説明書は加工し易い fact3: あのトーン・ポットは手早い fact4: 「あのトーン・ポットは果てだ」ということは成り立つ fact5: あのトーン・ポットが手早いとしたらその連結付属説明書は御す fact6: あの地方選挙は手早い fact7: なにがしかのものが御すならばそれは見境無い
fact5 & fact3 -> int1: その連結付属説明書は御す; fact7 -> int2: 仮にその連結付属説明書が御すとするとそれは見境無い; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮になにかは手早いとしたら見境無い fact2: その連結付属説明書は加工し易い fact3: あのトーン・ポットは手早い fact4: 「あのトーン・ポットは果てだ」ということは成り立つ fact5: あのトーン・ポットが手早いとしたらその連結付属説明書は御す fact6: あの地方選挙は手早い fact7: なにがしかのものが御すならばそれは見境無い ; $hypothesis$ = その連結付属説明書は見境無くない ; $proof$ = 
fact5 & fact3 -> int1: その連結付属説明書は御す; fact7 -> int2: 仮にその連結付属説明書が御すとするとそれは見境無い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは手早いとしたら見境無い
事実2: その連結付属説明書は加工し易い
事実3: あのトーン・ポットは手早い
事実4: 「あのトーン・ポットは果てだ」ということは成り立つ
事実5: あのトーン・ポットが手早いとしたらその連結付属説明書は御す
事実6: あの地方選挙は手早い
事実7: なにがしかのものが御すならばそれは見境無い

仮説: その連結付属説明書は見境無くない
1. 事実5と事実3から、推論1: "その連結付属説明書は御す"が導かれる
2. 事実7から、推論2: "仮にその連結付属説明書が御すとするとそれは見境無い"が導かれる
3. 推論1と推論2から、仮説が否定される

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