「この水循環は怠いということはない」ということは事実と異ならない
fact1: もしも何かは無色界でなくてまたアクアラインでないとしたらそれは凄まじくない fact2: この社会機能は怠い fact3: この水循環は怠い fact4: この水循環は明るい fact5: もしあるものが北極圏であるしおまけに腑甲斐無いならこの水循環は怠くらない fact6: 凄まじくないものは北極圏でおまけに手交する fact7: この戒律は怠い
fact3 -> hypothesis;
fact3 -> hypothesis;
この水循環は怠くらない
fact9 -> int1: もしもこのＥＭＲが凄まじいということはないなら北極圏でまたそれは手交する; fact10 -> int2: 仮にこのテレビタイムは無色界でないしさらにアクアラインでないなら「凄まじいということはない」ということは正しい;
$facts$ = fact1: もしも何かは無色界でなくてまたアクアラインでないとしたらそれは凄まじくない fact2: この社会機能は怠い fact3: この水循環は怠い fact4: この水循環は明るい fact5: もしあるものが北極圏であるしおまけに腑甲斐無いならこの水循環は怠くらない fact6: 凄まじくないものは北極圏でおまけに手交する fact7: この戒律は怠い ; $hypothesis$ = 「この水循環は怠いということはない」ということは事実と異ならない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしも何かは無色界でなくてまたアクアラインでないとしたらそれは凄まじくない
事実2: この社会機能は怠い
事実3: この水循環は怠い
事実4: この水循環は明るい
事実5: もしあるものが北極圏であるしおまけに腑甲斐無いならこの水循環は怠くらない
事実6: 凄まじくないものは北極圏でおまけに手交する
事実7: この戒律は怠い

仮説: 「この水循環は怠いということはない」ということは事実と異ならない
1. 事実3から、仮説が否定される

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