Anne is quiet. Anne is smart. Bob is green. Bob is kind. Bob is nice. Bob is smart. Erin is round. Erin is not smart. Gary is not green. Gary is kind. Gary is round. If someone is nice and young then they are kind. If Gary is smart and Gary is nice then Gary is quiet. If someone is young then they are round. If Anne is round then Anne is nice. If someone is quiet then they are young. If Gary is young then Gary is not nice. If someone is kind and smart then they are green.
Erin is not quiet.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Bob is green.[(triple3 OR ((triple4 triple6) -> rule7))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is smart.[(triple6)] Erin is not smart.[(triple8)] Erin is round.[(triple7)] Gary is kind.[(triple10)] Gary is not green.[(triple9)] Gary is round.[(triple11)] @1: Anne is young.[(((triple1) -> rule5))] @2: Anne is round.[(((((triple1) -> rule5)) -> rule3))] @3: Anne is nice.[(((((((triple1) -> rule5)) -> rule3)) -> rule4))] @4: Anne is kind.[(((((((((triple1) -> rule5)) -> rule3)) -> rule4) ((triple1) -> rule5)) -> rule1))] @5: Anne is green.[(((((((((((triple1) -> rule5)) -> rule3)) -> rule4) ((triple1) -> rule5)) -> rule1) triple2) -> rule7))]