Charlie is big. Charlie is green. Charlie is smart. Charlie is white. Charlie is young. Erin is big. Erin is green. Erin is smart. Erin is young. Gary is green. If something is nice and green then it is big. Green things are white. If something is white then it is nice.
Gary is not furry.
@0: Charlie is big.[(triple1 OR ((((triple4) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule2)) -> rule3) triple2) -> rule1))] Charlie is green.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((triple2) -> rule2))] Charlie is young.[(triple5)] Erin is big.[(triple6 OR ((((((triple7) -> rule2)) -> rule3) triple7) -> rule1))] Erin is green.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Gary is green.[(triple10)] @1: Charlie is nice.[(((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Erin is white.[(((triple7) -> rule2))] Gary is white.[(((triple10) -> rule2))] @2: Erin is nice.[(((((triple7) -> rule2)) -> rule3))] Gary is nice.[(((((triple10) -> rule2)) -> rule3))] @3: Gary is big.[(((((((triple10) -> rule2)) -> rule3) triple10) -> rule1))]