Erin is big. Erin is blue. Erin is green. Erin is round. Gary is big. Gary is round. Gary is white. All white things are quiet. All white things are round. If something is quiet then it is big. If Erin is green then Erin is white. Green things are smart. Quiet things are smart.
Gary is blue.
@0: Erin is big.[(triple1 OR ((((((triple3) -> rule4)) -> rule1)) -> rule3))] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4 OR ((((triple3) -> rule4)) -> rule2))] Gary is big.[(triple5 OR ((((triple7) -> rule1)) -> rule3))] Gary is round.[(triple6 OR ((triple7) -> rule2))] Gary is white.[(triple7)] @1: Erin is smart.[(((triple3) -> rule5) OR ((((((triple3) -> rule4)) -> rule1)) -> rule6))] Erin is white.[(((triple3) -> rule4))] Gary is quiet.[(((triple7) -> rule1))] @2: Erin is quiet.[(((((triple3) -> rule4)) -> rule1))] Gary is smart.[(((((triple7) -> rule1)) -> rule6))]