Charlie is nice. Charlie is smart. Charlie is white. Erin is nice. Fiona is green. Fiona is smart. Gary is green. If something is green then it is big. All quiet, round things are big. All white things are quiet. If Erin is nice then Erin is white. Quiet things are nice. If Erin is green and Erin is big then Erin is smart. All smart, nice things are green. Smart things are big.
Gary is smart.
@0: Charlie is nice.[(triple1 OR ((((triple3) -> rule3)) -> rule5))] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Erin is nice.[(triple4)] Fiona is green.[(triple5)] Fiona is smart.[(triple6)] Gary is green.[(triple7)] @1: Charlie is big.[(((triple2) -> rule8) OR ((((triple2 triple1) -> rule7)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule1))] Charlie is green.[(((triple2 triple1) -> rule7) OR ((triple2 ((((triple3) -> rule3)) -> rule5)) -> rule7))] Charlie is quiet.[(((triple3) -> rule3))] Erin is white.[(((triple4) -> rule4))] Fiona is big.[(((triple5) -> rule1) OR ((triple6) -> rule8))] Gary is big.[(((triple7) -> rule1))] @2: Erin is quiet.[(((((triple4) -> rule4)) -> rule3))]