Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is red. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is young. Gary is cold. Gary is furry. Gary is green. Gary is red. Cold things are young.
Gary is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is red.[(triple10)] Dave is young.[(triple11 OR ((triple7) -> rule1))] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is green.[(triple14)] Gary is red.[(triple15)] @1: Bob is young.[(((triple2) -> rule1))] Gary is young.[(((triple12) -> rule1))]