Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is white. All round, big things are quiet. If something is furry then it is round. If something is red and big then it is round. If something is quiet then it is furry. White, red things are furry. Round, nice things are white.
Anne is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule4) OR ((triple7 triple5) -> rule5) OR ((((triple6 triple1) -> rule1)) -> rule4) OR ((((triple6 triple3) -> rule6) triple5) -> rule5) OR ((((((triple5 triple1) -> rule3) triple1) -> rule1)) -> rule4) OR ((((((triple5 triple1) -> rule3) triple3) -> rule6) triple5) -> rule5))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple6 triple1) -> rule1) OR ((((triple2) -> rule2) triple1) -> rule1) OR ((((triple5 triple1) -> rule3) triple1) -> rule1) OR ((((((triple7 triple5) -> rule5)) -> rule2) triple1) -> rule1))] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple2) -> rule2) OR ((triple5 triple1) -> rule3) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple7 triple5) -> rule5)) -> rule2))] Anne is white.[(triple7 OR ((triple6 triple3) -> rule6) OR ((((triple2) -> rule2) triple3) -> rule6) OR ((((triple5 triple1) -> rule3) triple3) -> rule6) OR ((((((triple4) -> rule4)) -> rule2) triple3) -> rule6))]