Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is young. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is young. Gary is blue. Gary is furry. Gary is kind. Gary is young. Young, green things are furry. All blue, furry things are kind.
Gary is not red.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7 OR ((triple12 triple8) -> rule1))] Dave is green.[(triple8)] Dave is kind.[(triple9 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple12 triple8) -> rule1)) -> rule2))] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is young.[(triple12)] Gary is blue.[(triple13)] Gary is furry.[(triple14)] Gary is kind.[(triple15 OR ((triple13 triple14) -> rule2))] Gary is young.[(triple16)] @1: Bob is furry.[(((triple5 triple2) -> rule1))] @2: Bob is kind.[(((triple1 ((triple5 triple2) -> rule1)) -> rule2))]