Bob is not cold. Bob is green. Bob is nice. Bob is not red. Bob is round. Bob is white. Bob is not young. Dave is not cold. Dave is green. Dave is young. Gary is cold. Gary is green. Gary is nice. Gary is round. Gary is white. Gary is young. If Dave is cold then Dave is not round. If something is young and not cold then it is nice. All nice things are round. If something is cold then it is young. Nice things are green. If something is white and not round then it is not green. If something is cold and red then it is not green. Round things are green.
Gary is not red.
@0: Bob is green.[(triple2 OR ((triple3) -> rule5) OR ((triple5) -> rule8) OR ((((triple3) -> rule3)) -> rule8))] Bob is nice.[(triple3)] Bob is not cold.[(triple1)] Bob is not red.[(triple4)] Bob is not young.[(triple7)] Bob is round.[(triple5 OR ((triple3) -> rule3))] Bob is white.[(triple6)] Dave is green.[(triple9 OR ((((triple10 triple8) -> rule2)) -> rule5) OR ((((((triple10 triple8) -> rule2)) -> rule3)) -> rule8))] Dave is not cold.[(triple8)] Dave is young.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12 OR ((triple13) -> rule5) OR ((triple14) -> rule8) OR ((((triple13) -> rule3)) -> rule8))] Gary is nice.[(triple13)] Gary is round.[(triple14 OR ((triple13) -> rule3))] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple11) -> rule4))] @1: Dave is nice.[(((triple10 triple8) -> rule2))] @2: Dave is round.[(((((triple10 triple8) -> rule2)) -> rule3))]