Bob is green. Bob is kind. Bob is nice. Charlie is cold. Charlie is green. Charlie is rough. Erin is cold. Erin is kind. Erin is quiet. Erin is rough. Rough things are nice. Green, kind things are big. If something is rough then it is cold. All rough, nice things are kind. Nice things are kind. Big, rough things are kind.
Bob is not quiet.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule5))] Bob is nice.[(triple3)] Charlie is cold.[(triple4 OR ((triple6) -> rule3))] Charlie is green.[(triple5)] Charlie is rough.[(triple6)] Erin is cold.[(triple7 OR ((triple10) -> rule3))] Erin is kind.[(triple8 OR ((((triple10) -> rule1)) -> rule5) OR ((triple10 ((triple10) -> rule1)) -> rule4))] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] @1: Bob is big.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple3) -> rule5)) -> rule2))] Charlie is nice.[(((triple6) -> rule1))] Erin is nice.[(((triple10) -> rule1))] @2: Charlie is kind.[(((((triple6) -> rule1)) -> rule5) OR ((triple6 ((triple6) -> rule1)) -> rule4))] @3: Charlie is big.[(((triple5 ((((triple6) -> rule1)) -> rule5)) -> rule2) OR ((triple5 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule2))]