Anne is big. Anne is furry. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Anne is white. If someone is white then they are furry. If someone is smart then they are round. If someone is furry and quiet then they are white. If someone is smart and rough then they are big. If someone is quiet then they are white. If Anne is furry and Anne is big then Anne is smart.
Anne is quiet.
@0: Anne is big.[(triple1 OR ((triple6 triple4) -> rule4))] Anne is furry.[(triple2 OR ((triple7) -> rule1) OR ((((triple3) -> rule5)) -> rule1))] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule2) OR ((((triple2 triple1) -> rule6)) -> rule2) OR ((((((triple7) -> rule1) triple1) -> rule6)) -> rule2) OR ((((((((triple3) -> rule5)) -> rule1) triple1) -> rule6)) -> rule2))] Anne is smart.[(triple6 OR ((triple2 triple1) -> rule6) OR ((((triple7) -> rule1) triple1) -> rule6) OR ((((((triple3) -> rule5)) -> rule1) triple1) -> rule6))] Anne is white.[(triple7 OR ((triple3) -> rule5) OR ((triple2 triple3) -> rule3))]