Charlie is quiet. Charlie is rough. Charlie is white. Dave is green. Dave is quiet. Erin is furry. Erin is green. Erin is smart. Gary is big. Gary is rough. Gary is smart. Gary is white. If someone is smart and white then they are rough. White, rough people are green. If someone is quiet then they are rough.
Charlie is big.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2 OR ((triple1) -> rule3))] Charlie is white.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is smart.[(triple8)] Gary is big.[(triple9)] Gary is rough.[(triple10 OR ((triple11 triple12) -> rule1))] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Charlie is green.[(((triple3 triple2) -> rule2) OR ((triple3 ((triple1) -> rule3)) -> rule2))] Dave is rough.[(((triple5) -> rule3))] Gary is green.[(((triple12 triple10) -> rule2) OR ((triple12 ((triple11 triple12) -> rule1)) -> rule2))]