Bob is green. Bob is nice. Bob is round. Bob is young. Erin is quiet. Erin is red. Erin is young. If something is young and not quiet then it is nice. If something is green and not nice then it is not red. If something is green then it is not big. If something is round then it is green. If something is red and not young then it is round. Young things are round.
Erin is not nice.
@0: Bob is green.[(triple1 OR ((triple3) -> rule4) OR ((((triple4) -> rule6)) -> rule4))] Bob is nice.[(triple2)] Bob is round.[(triple3 OR ((triple4) -> rule6))] Bob is young.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] @1: Bob is not big.[(((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4)) -> rule3))] Erin is round.[(((triple7) -> rule6))] @2: Erin is green.[(((((triple7) -> rule6)) -> rule4))] @3: Erin is not big.[(((((((triple7) -> rule6)) -> rule4)) -> rule3))]