Bob is red. Bob is smart. Fiona is blue. Fiona is cold. Fiona is round. Gary is round. Gary is smart. If something is smart then it is round. If something is cold then it is white.
Gary is red.
@0: Bob is red.[(triple1)] Bob is smart.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4)] Fiona is round.[(triple5)] Gary is round.[(triple6 OR ((triple7) -> rule1))] Gary is smart.[(triple7)] @1: Bob is round.[(((triple2) -> rule1))] Fiona is white.[(((triple4) -> rule2))]