Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is round. Bob is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Round, young things are white. All cold, nice things are kind. Kind, white things are young.
Bob is not green.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple1 triple4) -> rule2))] Bob is nice.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9)] Charlie is round.[(triple10)] Charlie is white.[(triple11 OR ((triple10 triple12) -> rule1))] Charlie is young.[(triple12 OR ((triple9 triple11) -> rule3))] @1: Bob is young.[(((triple3 triple6) -> rule3) OR ((((triple1 triple4) -> rule2) triple6) -> rule3))]