Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is round. Bob is smart. Bob is white. Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is round. Gary is not smart. Gary is white. Blue things are green. If something is green and not white then it is not round. If something is blue then it is kind.
Gary is not round.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule1))] Bob is kind.[(triple4 OR ((triple2) -> rule3))] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is green.[(triple10 OR ((triple9) -> rule1))] Gary is kind.[(triple11 OR ((triple9) -> rule3))] Gary is not smart.[(triple13)] Gary is round.[(triple12)] Gary is white.[(triple14)]