Bob is big. Bob is not furry. Bob is red. Bob is rough. Bob is smart. Bob is white. Erin is big. Erin is rough. Erin is round. Harry is big. Harry is furry. Harry is red. Harry is rough. Harry is round. Harry is white. If Erin is rough and Erin is round then Erin is red. If Bob is round then Bob is white. If something is round and not big then it is red. If Harry is furry then Harry is round. If something is white and smart then it is not furry. If something is round and not white then it is furry.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is not furry.[(triple2 OR ((triple6 triple5) -> rule5))] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Erin is big.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14 OR ((triple11) -> rule4))] Harry is white.[(triple15)] @1: Erin is red.[(((triple8 triple9) -> rule1))]