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