Bob is not big. Bob is cold. Bob is furry. Bob is not young. Charlie is furry. Charlie is smart. Charlie is white. Charlie is young. Dave is big. Dave is not white. Harry is furry. Harry is green. If someone is young and not cold then they are not big. If someone is green then they are young. Furry, young people are green.
Bob is not green.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is not young.[(triple4)] Charlie is furry.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Dave is big.[(triple9)] Dave is not white.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] @1: Charlie is green.[(((triple5 triple8) -> rule3))] Harry is young.[(((triple12) -> rule2))]