Erin is big. Erin is blue. Erin is furry. Erin is red. Erin is not rough. Harry is big. Harry is blue. Harry is not furry. Harry is kind. Harry is red. Harry is rough. Harry is round. Big things are kind. All furry, red things are round. Big things are round. If something is rough and red then it is round. If something is red and not rough then it is furry. If something is rough and furry then it is big.
Erin is rough.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3 OR ((triple4 triple5) -> rule5))] Erin is not rough.[(triple5)] Erin is red.[(triple4)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple9 OR ((triple6) -> rule1))] Harry is not furry.[(triple8)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple6) -> rule3) OR ((triple11 triple10) -> rule4))] @1: Erin is kind.[(((triple1) -> rule1))] Erin is round.[(((triple1) -> rule3) OR ((triple3 triple4) -> rule2) OR ((((triple4 triple5) -> rule5) triple4) -> rule2))]