Anne is cold. Anne is quiet. Anne is round. Bob is green. Bob is kind. Charlie is furry. Charlie is kind. Charlie is rough. Erin is furry. Erin is green. Erin is quiet. Erin is round. If someone is rough then they are furry. If Erin is round then Erin is furry. Green people are rough. Furry, cold people are rough. Furry, kind people are cold. Quiet people are green.
Bob is not quiet.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Charlie is furry.[(triple6 OR ((triple8) -> rule1))] Charlie is kind.[(triple7)] Charlie is rough.[(triple8 OR ((triple6 ((triple6 triple7) -> rule5)) -> rule4))] Erin is furry.[(triple9 OR ((triple12) -> rule2) OR ((((triple10) -> rule3)) -> rule1) OR ((((((triple11) -> rule6)) -> rule3)) -> rule1))] Erin is green.[(triple10 OR ((triple11) -> rule6))] Erin is quiet.[(triple11)] Erin is round.[(triple12)] @1: Anne is green.[(((triple2) -> rule6))] Bob is rough.[(((triple4) -> rule3))] Charlie is cold.[(((triple6 triple7) -> rule5) OR ((((triple8) -> rule1) triple7) -> rule5))] Erin is rough.[(((triple10) -> rule3) OR ((((triple11) -> rule6)) -> rule3))] @2: Anne is rough.[(((((triple2) -> rule6)) -> rule3))] Bob is furry.[(((((triple4) -> rule3)) -> rule1))] @3: Anne is furry.[(((((((triple2) -> rule6)) -> rule3)) -> rule1))] Bob is cold.[(((((((triple4) -> rule3)) -> rule1) triple5) -> rule5))]