Charlie is smart. Erin is blue. Fiona is white. Gary is blue. Gary is kind. Gary is round. Gary is not young. If someone is kind then they are round. If someone is smart and not big then they are round. If someone is round and young then they are blue. If someone is white then they are smart. All smart people are kind. If Gary is young and Gary is big then Gary is white.
Charlie is not round.
@0: Charlie is smart.[(triple1)] Erin is blue.[(triple2)] Fiona is white.[(triple3)] Gary is blue.[(triple4)] Gary is kind.[(triple5)] Gary is not young.[(triple7)] Gary is round.[(triple6 OR ((triple5) -> rule1))] @1: Charlie is kind.[(((triple1) -> rule5))] Fiona is smart.[(((triple3) -> rule4))] @2: Charlie is round.[(((((triple1) -> rule5)) -> rule1))] Fiona is kind.[(((((triple3) -> rule4)) -> rule5))] @3: Fiona is round.[(((((((triple3) -> rule4)) -> rule5)) -> rule1))]