Bob is smart. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is smart. Charlie is young. Erin is big. Erin is cold. Erin is nice. Erin is quiet. Erin is not rough. Erin is not smart. Erin is young. Gary is not cold. Gary is nice. Gary is rough. Smart people are young. If someone is young then they are quiet. If someone is quiet and young then they are not rough.
Bob is not nice.
@0: Bob is smart.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Charlie is quiet.[(triple4 OR ((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Charlie is smart.[(triple5)] Charlie is young.[(triple6 OR ((triple5) -> rule1))] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is nice.[(triple9)] Erin is not rough.[(triple11 OR ((triple10 triple13) -> rule3) OR ((((triple13) -> rule2) triple13) -> rule3))] Erin is not smart.[(triple12)] Erin is quiet.[(triple10 OR ((triple13) -> rule2))] Erin is young.[(triple13)] Gary is nice.[(triple15)] Gary is not cold.[(triple14)] Gary is rough.[(triple16)] @1: Bob is young.[(((triple1) -> rule1))] Charlie is not rough.[(((triple4 triple6) -> rule3) OR ((triple4 ((triple5) -> rule1)) -> rule3) OR ((((triple6) -> rule2) triple6) -> rule3) OR ((((triple6) -> rule2) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1)) -> rule2) triple6) -> rule3) OR ((((((triple5) -> rule1)) -> rule2) ((triple5) -> rule1)) -> rule3))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is not rough.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))]