Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Anne is young. If someone is nice and quiet then they are rough. If someone is rough and cold then they are nice. All rough people are young. If someone is furry then they are white. If Anne is rough and Anne is cold then Anne is white. White, cold people are rough.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple5 triple1) -> rule2) OR ((((triple6 triple1) -> rule6) triple1) -> rule2) OR ((((((triple2) -> rule4) triple1) -> rule6) triple1) -> rule2))] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple3 triple4) -> rule1) OR ((triple6 triple1) -> rule6) OR ((((triple2) -> rule4) triple1) -> rule6))] Anne is white.[(triple6 OR ((triple2) -> rule4) OR ((triple5 triple1) -> rule5) OR ((((triple3 triple4) -> rule1) triple1) -> rule5))] Anne is young.[(triple7 OR ((triple5) -> rule3) OR ((((triple3 triple4) -> rule1)) -> rule3) OR ((((triple6 triple1) -> rule6)) -> rule3) OR ((((((triple2) -> rule4) triple1) -> rule6)) -> rule3))]