Anne is big. Bob is big. Bob is kind. Bob is not red. Dave is kind. Dave is red. Gary is not quiet. If Anne is blue then Anne is cold. If Gary is red then Gary is kind. If something is quiet then it is not red. If something is big then it is not blue. If something is kind and not blue then it is rough. If something is rough then it is kind.
Bob is rough.
@0: Anne is big.[(triple1)] Bob is big.[(triple2)] Bob is kind.[(triple3)] Bob is not red.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Gary is not quiet.[(triple7)] @1: Anne is not blue.[(((triple1) -> rule4))] Bob is not blue.[(((triple2) -> rule4))] @2: Bob is rough.[(((triple3 ((triple2) -> rule4)) -> rule5))]