Bob is green. Bob is nice. Bob is smart. Bob is young. Erin is kind. Erin is nice. Erin is smart. Erin is white. Gary is blue. Gary is green. Gary is kind. Gary is nice. If someone is nice and green then they are smart.
Gary is not blue.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3 OR ((triple2 triple1) -> rule1))] Bob is young.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] @1: Gary is smart.[(((triple12 triple10) -> rule1))]