Bob is white. Charlie is big. Fiona is smart. Gary is round. All white things are nice. If something is red and round then it is cold. If Gary is round then Gary is red. Cold, round things are white. If Gary is nice and Gary is big then Gary is red. Smart, red things are big.
Gary is not cold.
@0: Bob is white.[(triple1)] Charlie is big.[(triple2)] Fiona is smart.[(triple3)] Gary is round.[(triple4)] @1: Bob is nice.[(((triple1) -> rule1))] Gary is red.[(((triple4) -> rule3))] @2: Gary is cold.[(((((triple4) -> rule3) triple4) -> rule2))] @3: Gary is white.[(((((((triple4) -> rule3) triple4) -> rule2) triple4) -> rule4))] @4: Gary is nice.[(((((((((triple4) -> rule3) triple4) -> rule2) triple4) -> rule4)) -> rule1))]