Anne is green. Bob is blue. Bob is green. Bob is smart. Bob is young. Gary is green. Gary is young. If someone is kind and green then they are nice. If someone is blue then they are young.
Bob is kind.
@0: Anne is green.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5 OR ((triple2) -> rule2))] Gary is green.[(triple6)] Gary is young.[(triple7)]