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