Anne is big. Anne is cold. Anne is furry. Anne is quiet. Anne is red. Anne is smart. Anne is white. Erin is furry. Erin is red. Erin is smart. Erin is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is red. Harry is smart. If Erin is red then Erin is cold. Red, white people are big. If someone is smart and furry then they are red. All furry people are smart. If Harry is smart then Harry is furry. If someone is red then they are big.
Fiona is quiet.
@0: Anne is big.[(triple1 OR ((triple5) -> rule6) OR ((triple5 triple7) -> rule2) OR ((((triple6 triple3) -> rule3)) -> rule6) OR ((((triple6 triple3) -> rule3) triple7) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule4) triple3) -> rule3) triple7) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6 triple3) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule3))] Anne is smart.[(triple6 OR ((triple3) -> rule4))] Anne is white.[(triple7)] Erin is furry.[(triple8)] Erin is red.[(triple9 OR ((triple10 triple8) -> rule3) OR ((((triple8) -> rule4) triple8) -> rule3))] Erin is smart.[(triple10 OR ((triple8) -> rule4))] Erin is white.[(triple11)] Fiona is big.[(triple12 OR ((triple15) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule3)) -> rule6))] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is red.[(triple15 OR ((((triple14) -> rule4) triple14) -> rule3))] Harry is smart.[(triple16)] @1: Erin is big.[(((triple9) -> rule6) OR ((triple9 triple11) -> rule2) OR ((((triple10 triple8) -> rule3)) -> rule6) OR ((((triple10 triple8) -> rule3) triple11) -> rule2) OR ((((((triple8) -> rule4) triple8) -> rule3)) -> rule6) OR ((((((triple8) -> rule4) triple8) -> rule3) triple11) -> rule2))] Erin is cold.[(((triple9) -> rule1) OR ((((triple10 triple8) -> rule3)) -> rule1) OR ((((((triple8) -> rule4) triple8) -> rule3)) -> rule1))] Fiona is smart.[(((triple14) -> rule4))] Harry is furry.[(((triple16) -> rule5))] @2: Harry is red.[(((triple16 ((triple16) -> rule5)) -> rule3))] @3: Harry is big.[(((((triple16 ((triple16) -> rule5)) -> rule3)) -> rule6))]