Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Bob is big. Bob is blue. Bob is green. Bob is kind. Dave is big. Dave is cold. Dave is green. Dave is kind. Gary is cold. Gary is green. If someone is blue and not green then they are cold. If someone is blue and green then they are furry. All green, blue people are furry. All big, cold people are quiet. If someone is cold and green then they are blue. Cold, furry people are big. If Gary is kind then Gary is not cold. If Gary is quiet then Gary is not kind.
Gary is not quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple4) -> rule2) OR ((triple4 triple2) -> rule3))] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is quiet.[(triple6)] Bob is big.[(triple7)] Bob is blue.[(triple8)] Bob is green.[(triple9)] Bob is kind.[(triple10)] Dave is big.[(triple11 OR ((triple12 ((triple13 ((triple12 triple13) -> rule5)) -> rule3)) -> rule6) OR ((triple12 ((((triple12 triple13) -> rule5) triple13) -> rule2)) -> rule6))] Dave is cold.[(triple12)] Dave is green.[(triple13)] Dave is kind.[(triple14)] Gary is cold.[(triple15)] Gary is green.[(triple16)] @1: Bob is furry.[(((triple8 triple9) -> rule2) OR ((triple9 triple8) -> rule3))] Dave is blue.[(((triple12 triple13) -> rule5))] Dave is quiet.[(((triple11 triple12) -> rule4) OR ((((triple12 ((triple13 ((triple12 triple13) -> rule5)) -> rule3)) -> rule6) triple12) -> rule4) OR ((((triple12 ((((triple12 triple13) -> rule5) triple13) -> rule2)) -> rule6) triple12) -> rule4))] Gary is blue.[(((triple15 triple16) -> rule5))] @2: Dave is furry.[(((triple13 ((triple12 triple13) -> rule5)) -> rule3) OR ((((triple12 triple13) -> rule5) triple13) -> rule2))] Gary is furry.[(((triple16 ((triple15 triple16) -> rule5)) -> rule3) OR ((((triple15 triple16) -> rule5) triple16) -> rule2))] @3: Gary is big.[(((triple15 ((triple16 ((triple15 triple16) -> rule5)) -> rule3)) -> rule6) OR ((triple15 ((((triple15 triple16) -> rule5) triple16) -> rule2)) -> rule6))] @4: Gary is quiet.[(((((triple15 ((triple16 ((triple15 triple16) -> rule5)) -> rule3)) -> rule6) triple15) -> rule4) OR ((((triple15 ((((triple15 triple16) -> rule5) triple16) -> rule2)) -> rule6) triple15) -> rule4))] @5: Gary is not kind.[(((((((triple15 ((triple16 ((triple15 triple16) -> rule5)) -> rule3)) -> rule6) triple15) -> rule4)) -> rule8) OR ((((((triple15 ((((triple15 triple16) -> rule5) triple16) -> rule2)) -> rule6) triple15) -> rule4)) -> rule8))]