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