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