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