Erin is big. Harry is big. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is smart. If someone is kind and blue then they are furry. Big, kind people are round. Blue people are kind. If someone is big then they are furry. If someone is kind then they are big. Blue, smart people are rough. Furry people are rough. If Erin is blue and Erin is furry then Erin is big.
Erin is not big.
@0: Erin is big.[(triple1)] Harry is big.[(triple2 OR ((triple4) -> rule5))] Harry is furry.[(triple3 OR ((triple2) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] Harry is kind.[(triple4)] Harry is rough.[(triple5 OR ((triple3) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((((((triple4) -> rule5)) -> rule4)) -> rule7))] Harry is round.[(triple6 OR ((triple2 triple4) -> rule2) OR ((((triple4) -> rule5) triple4) -> rule2))] Harry is smart.[(triple7)] @1: Erin is furry.[(((triple1) -> rule4))] @2: Erin is rough.[(((((triple1) -> rule4)) -> rule7))]