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