Bob is big. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is young. Charlie is kind. Charlie is quiet. Charlie is young. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is young. If something is kind then it is young. Green, quiet things are big. If something is rough then it is young.
Erin is not young.
@0: Bob is big.[(triple1 OR ((triple2 triple4) -> rule2))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule1) OR ((triple6) -> rule3))] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9)] Charlie is young.[(triple10 OR ((triple8) -> rule1))] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13)] Erin is red.[(triple14)] Erin is rough.[(triple15)] Erin is young.[(triple16 OR ((triple12) -> rule1) OR ((triple15) -> rule3))] @1: Erin is big.[(((triple11 triple13) -> rule2))]