Bob is blue. Charlie is cold. Fiona is big. Gary is rough. If Charlie is cold then Charlie is big. Big, cold things are rough. Cold things are white. If something is white and big then it is rough. All rough things are cold. Rough things are blue.
Charlie is not cold.
@0: Bob is blue.[(triple1)] Charlie is cold.[(triple2)] Fiona is big.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is big.[(((triple2) -> rule1))] Charlie is white.[(((triple2) -> rule3))] Gary is blue.[(((triple4) -> rule6))] Gary is cold.[(((triple4) -> rule5))] @2: Charlie is rough.[(((((triple2) -> rule1) triple2) -> rule2) OR ((((triple2) -> rule3) ((triple2) -> rule1)) -> rule4))] Gary is white.[(((((triple4) -> rule5)) -> rule3))] @3: Charlie is blue.[(((((((triple2) -> rule1) triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6))]