Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is red. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is smart. If something is red then it is cold. All quiet, red things are smart. If something is smart and red then it is furry. If something is furry then it is red. All furry, kind things are cold. Red, big things are smart. Kind things are smart. All quiet things are smart.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule1) OR ((triple3 triple4) -> rule5) OR ((((triple3) -> rule4)) -> rule1) OR ((((((triple4) -> rule7) triple5) -> rule3) triple4) -> rule5) OR ((((((triple5 triple1) -> rule6) triple5) -> rule3) triple4) -> rule5))] Anne is furry.[(triple3 OR ((((triple4) -> rule7) triple5) -> rule3) OR ((((triple5 triple1) -> rule6) triple5) -> rule3))] Anne is kind.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule4))] Erin is big.[(triple6)] Erin is cold.[(triple7 OR ((triple11) -> rule1) OR ((triple8 triple9) -> rule5) OR ((((triple8) -> rule4)) -> rule1) OR ((((triple12 triple11) -> rule3) triple9) -> rule5) OR ((((((triple10) -> rule8) triple11) -> rule3) triple9) -> rule5) OR ((((((triple9) -> rule7) triple11) -> rule3) triple9) -> rule5) OR ((((((triple10 triple11) -> rule2) triple11) -> rule3) triple9) -> rule5) OR ((((((triple11 triple6) -> rule6) triple11) -> rule3) triple9) -> rule5))] Erin is furry.[(triple8 OR ((triple12 triple11) -> rule3) OR ((((triple10) -> rule8) triple11) -> rule3) OR ((((triple9) -> rule7) triple11) -> rule3) OR ((((triple10 triple11) -> rule2) triple11) -> rule3) OR ((((triple11 triple6) -> rule6) triple11) -> rule3))] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11 OR ((triple8) -> rule4))] Erin is smart.[(triple12 OR ((triple10) -> rule8) OR ((triple9) -> rule7) OR ((triple10 triple11) -> rule2) OR ((triple11 triple6) -> rule6) OR ((triple10 ((triple8) -> rule4)) -> rule2) OR ((((triple8) -> rule4) triple6) -> rule6))] Fiona is cold.[(triple13 OR ((triple15) -> rule1))] Fiona is quiet.[(triple14)] Fiona is red.[(triple15)] Fiona is smart.[(triple16 OR ((triple14) -> rule8) OR ((triple14 triple15) -> rule2))] @1: Anne is smart.[(((triple4) -> rule7) OR ((triple5 triple1) -> rule6) OR ((((triple3) -> rule4) triple1) -> rule6))] Fiona is furry.[(((triple16 triple15) -> rule3) OR ((((triple14) -> rule8) triple15) -> rule3) OR ((((triple14 triple15) -> rule2) triple15) -> rule3))]