Erin is big. Erin is furry. Erin is not quiet. Erin is red. Erin is round. Erin is white. Erin is young. Harry is big. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is white. Harry is young. If something is white and not quiet then it is furry. Young, quiet things are furry. If something is furry and round then it is red. If something is young and not round then it is not red. Big, young things are red. If Harry is big and Harry is not white then Harry is not furry. If Erin is round then Erin is big. If something is quiet then it is big.
Erin is not furry.
@0: Erin is big.[(triple1 OR ((triple5) -> rule7))] Erin is furry.[(triple2 OR ((triple6 triple3) -> rule1))] Erin is not quiet.[(triple3)] Erin is red.[(triple4 OR ((triple1 triple7) -> rule5) OR ((triple2 triple5) -> rule3) OR ((((triple5) -> rule7) triple7) -> rule5) OR ((((triple6 triple3) -> rule1) triple5) -> rule3))] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Harry is big.[(triple8 OR ((triple10) -> rule8))] Harry is furry.[(triple9 OR ((triple14 triple10) -> rule2))] Harry is quiet.[(triple10)] Harry is red.[(triple11 OR ((triple8 triple14) -> rule5) OR ((triple9 triple12) -> rule3) OR ((((triple10) -> rule8) triple14) -> rule5) OR ((((triple14 triple10) -> rule2) triple12) -> rule3))] Harry is round.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]