Bob is big. Bob is green. Bob is quiet. Charlie is furry. Charlie is green. Charlie is nice. Gary is big. Gary is not cold. Gary is furry. Gary is nice. Harry is big. Harry is green. Green, quiet people are big. All smart people are furry. If someone is quiet and furry then they are cold. If Harry is cold then Harry is not furry. If someone is cold then they are smart. All furry, cold people are not green. If someone is cold and not furry then they are nice. Quiet, big people are nice.
Gary is green.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule1))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Gary is big.[(triple7)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is not cold.[(triple8)] Harry is big.[(triple11)] Harry is green.[(triple12)] @1: Bob is nice.[(((triple3 triple1) -> rule8) OR ((triple3 ((triple2 triple3) -> rule1)) -> rule8))]