Charlie is green. Charlie is nice. Charlie is smart. Erin is green. Erin is quiet. Erin is smart. Erin is young. All young, nice people are kind. All green, smart people are rough. If someone is nice and rough then they are smart. If Charlie is quiet and Charlie is nice then Charlie is young. All rough people are young. Rough, quiet people are smart.
Charlie is young.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7 OR ((((triple4 triple6) -> rule2)) -> rule5))] @1: Charlie is rough.[(((triple1 triple3) -> rule2))] Erin is rough.[(((triple4 triple6) -> rule2))] @2: Charlie is young.[(((((triple1 triple3) -> rule2)) -> rule5))] @3: Charlie is kind.[(((((((triple1 triple3) -> rule2)) -> rule5) triple2) -> rule1))]