Anne is cold. Anne is kind. Anne is rough. Anne is round. Bob is nice. Gary is blue. Gary is rough. If something is red then it is nice. If something is kind and rough then it is red. All round, nice things are blue. If Anne is red then Anne is nice. Kind, cold things are round. If Gary is cold and Gary is red then Gary is rough.
Bob is round.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4 OR ((triple2 triple1) -> rule5))] Bob is nice.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)] @1: Anne is red.[(((triple2 triple3) -> rule2))] @2: Anne is nice.[(((((triple2 triple3) -> rule2)) -> rule1) OR ((((triple2 triple3) -> rule2)) -> rule4))] @3: Anne is blue.[(((triple4 ((((triple2 triple3) -> rule2)) -> rule1)) -> rule3) OR ((triple4 ((((triple2 triple3) -> rule2)) -> rule4)) -> rule3) OR ((((triple2 triple1) -> rule5) ((((triple2 triple3) -> rule2)) -> rule1)) -> rule3) OR ((((triple2 triple1) -> rule5) ((((triple2 triple3) -> rule2)) -> rule4)) -> rule3))]