Bob is not big. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is round. Bob is smart. Erin is big. Erin is furry. Harry is big. Harry is blue. Harry is furry. Harry is red. Harry is round. Harry is not smart. All big things are furry. If Harry is blue then Harry is furry. If something is blue then it is red. If Erin is quiet and Erin is not furry then Erin is round. If something is quiet and big then it is smart. If something is quiet and not furry then it is not smart.
Erin is not red.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple2) -> rule3))] Bob is round.[(triple6)] Bob is smart.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9 OR ((triple8) -> rule1))] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((triple10) -> rule1) OR ((triple11) -> rule2))] Harry is not smart.[(triple15)] Harry is red.[(triple13 OR ((triple11) -> rule3))] Harry is round.[(triple14)]