Erin is blue. Erin is green. Erin is kind. Fiona is blue. Fiona is smart. Gary is green. Gary is round. All blue, smart things are big. All white, blue things are round. If something is round and big then it is smart. If something is round then it is white. All smart, big things are blue. All blue things are smart.
Fiona is kind.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Fiona is blue.[(triple4)] Fiona is smart.[(triple5 OR ((triple4) -> rule6))] Gary is green.[(triple6)] Gary is round.[(triple7)] @1: Erin is smart.[(((triple1) -> rule6))] Fiona is big.[(((triple4 triple5) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1))] Gary is white.[(((triple7) -> rule4))] @2: Erin is big.[(((triple1 ((triple1) -> rule6)) -> rule1))]