Charlie is cold. Charlie is nice. Charlie is round. Fiona is blue. Fiona is not nice. Fiona is red. Fiona is white. Gary is blue. Gary is cold. Gary is white. If something is red then it is round. All white, cold things are not nice. If something is kind and red then it is nice. Round things are cold. If something is nice and not round then it is not cold. If Charlie is kind and Charlie is not nice then Charlie is not blue.
Fiona is not round.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule4))] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is not nice.[(triple5 OR ((triple7 ((((triple6) -> rule1)) -> rule4)) -> rule2))] Fiona is red.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is white.[(triple10)] @1: Fiona is round.[(((triple6) -> rule1))] Gary is not nice.[(((triple10 triple9) -> rule2))] @2: Fiona is cold.[(((((triple6) -> rule1)) -> rule4))]