Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is round. Bob is smart. Bob is young. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is young. If Gary is furry then Gary is smart. If something is nice then it is round. All furry, green things are kind.
Gary is not nice.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple1 triple2) -> rule3))] Bob is nice.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule2))] Bob is smart.[(triple6)] Bob is young.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple8 triple9) -> rule3))] Gary is nice.[(triple11)] Gary is round.[(triple12 OR ((triple11) -> rule2))] Gary is smart.[(triple13 OR ((triple8) -> rule1))] Gary is young.[(triple14)]