Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is smart. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is smart. Big things are blue. If Gary is not big then Gary is kind. If something is blue then it is smart. All big things are kind. If something is smart and not blue then it is nice. If Harry is nice and Harry is blue then Harry is kind.
Gary is not smart.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple1) -> rule1))] Gary is kind.[(triple3 OR ((triple1) -> rule4))] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple2) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple8) -> rule1))] Harry is kind.[(triple10 OR ((triple8) -> rule4) OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple8) -> rule1)) -> rule6))] Harry is nice.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14 OR ((triple9) -> rule3) OR ((((triple8) -> rule1)) -> rule3))]