Bob is big. Bob is green. Bob is nice. Bob is not young. Gary is big. Gary is green. Gary is nice. Gary is red. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is young. All smart things are kind. All green things are smart.
Bob is not red.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not young.[(triple4)] Gary is big.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11 OR ((triple14) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14 OR ((triple10) -> rule2))] Harry is young.[(triple15)] @1: Bob is smart.[(((triple2) -> rule2))] Gary is smart.[(((triple6) -> rule2))] @2: Bob is kind.[(((((triple2) -> rule2)) -> rule1))] Gary is kind.[(((((triple6) -> rule2)) -> rule1))]