Erin is big. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Erin is young. Harry is big. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is young. All furry people are quiet. Furry people are quiet. If Harry is young then Harry is furry. If Erin is smart and Erin is big then Erin is quiet. If someone is smart then they are kind. If someone is young then they are smart.
Erin is not quiet.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3 OR ((triple6) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Erin is quiet.[(triple4 OR ((triple2) -> rule1) OR ((triple2) -> rule2) OR ((triple6 triple1) -> rule4) OR ((((triple7) -> rule6) triple1) -> rule4))] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple7) -> rule6))] Erin is young.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9 OR ((triple14) -> rule3))] Harry is kind.[(triple10 OR ((triple13) -> rule5) OR ((((triple14) -> rule6)) -> rule5))] Harry is quiet.[(triple11 OR ((triple9) -> rule1) OR ((triple9) -> rule2) OR ((((triple14) -> rule3)) -> rule1) OR ((((triple14) -> rule3)) -> rule2))] Harry is red.[(triple12)] Harry is smart.[(triple13 OR ((triple14) -> rule6))] Harry is young.[(triple14)]