Anne is blue. Anne is furry. Anne is green. Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is smart. Bob is young. Fiona is furry. Fiona is young. Gary is big. Gary is furry. Gary is green. Smart, green things are young.
Gary is not furry.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5)] Bob is furry.[(triple6)] Bob is green.[(triple7)] Bob is kind.[(triple8)] Bob is smart.[(triple9)] Bob is young.[(triple10 OR ((triple9 triple7) -> rule1))] Fiona is furry.[(triple11)] Fiona is young.[(triple12)] Gary is big.[(triple13)] Gary is furry.[(triple14)] Gary is green.[(triple15)]