Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is white. Anne is young. Charlie is cold. Charlie is red. Charlie is white. Charlie is young. Dave is white. Gary is green. Gary is nice. Gary is red. Gary is white. Kind things are nice. All kind things are young. If something is kind and nice then it is cold. All red things are cold. If Gary is red then Gary is white. White, nice things are red. White, red things are nice. If something is cold and nice then it is young.
Dave is young.
@0: Anne is cold.[(triple1 OR ((triple5) -> rule4) OR ((triple3 triple4) -> rule3) OR ((((triple6 triple4) -> rule6)) -> rule4) OR ((triple3 ((triple3) -> rule1)) -> rule3) OR ((triple3 ((triple6 triple5) -> rule7)) -> rule3) OR ((((triple6 ((triple3) -> rule1)) -> rule6)) -> rule4))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule1) OR ((triple6 triple5) -> rule7))] Anne is red.[(triple5 OR ((triple6 triple4) -> rule6) OR ((triple6 ((triple3) -> rule1)) -> rule6))] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple3) -> rule2) OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple3) -> rule1)) -> rule8) OR ((triple1 ((triple6 triple5) -> rule7)) -> rule8) OR ((((triple5) -> rule4) triple4) -> rule8) OR ((((triple3 triple4) -> rule3) triple4) -> rule8) OR ((((triple5) -> rule4) ((triple3) -> rule1)) -> rule8) OR ((((triple5) -> rule4) ((triple6 triple5) -> rule7)) -> rule8) OR ((((triple3 triple4) -> rule3) ((triple3) -> rule1)) -> rule8) OR ((((triple3 triple4) -> rule3) ((triple6 triple5) -> rule7)) -> rule8) OR ((((((triple6 triple4) -> rule6)) -> rule4) triple4) -> rule8) OR ((((triple3 ((triple3) -> rule1)) -> rule3) triple4) -> rule8) OR ((((triple3 ((triple6 triple5) -> rule7)) -> rule3) triple4) -> rule8) OR ((((((triple6 triple4) -> rule6)) -> rule4) ((triple3) -> rule1)) -> rule8) OR ((((((triple6 triple4) -> rule6)) -> rule4) ((triple6 triple5) -> rule7)) -> rule8) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((triple3) -> rule1)) -> rule8) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((triple6 triple5) -> rule7)) -> rule8) OR ((((triple3 ((triple6 triple5) -> rule7)) -> rule3) ((triple3) -> rule1)) -> rule8) OR ((((triple3 ((triple6 triple5) -> rule7)) -> rule3) ((triple6 triple5) -> rule7)) -> rule8) OR ((((((triple6 ((triple3) -> rule1)) -> rule6)) -> rule4) triple4) -> rule8) OR ((((((triple6 ((triple3) -> rule1)) -> rule6)) -> rule4) ((triple3) -> rule1)) -> rule8) OR ((((((triple6 ((triple3) -> rule1)) -> rule6)) -> rule4) ((triple6 triple5) -> rule7)) -> rule8))] Charlie is cold.[(triple8 OR ((triple9) -> rule4))] Charlie is red.[(triple9)] Charlie is white.[(triple10)] Charlie is young.[(triple11 OR ((triple8 ((triple10 triple9) -> rule7)) -> rule8) OR ((((triple9) -> rule4) ((triple10 triple9) -> rule7)) -> rule8))] Dave is white.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14 OR ((triple16 triple15) -> rule7) OR ((((triple15) -> rule5) triple15) -> rule7))] Gary is red.[(triple15 OR ((triple16 triple14) -> rule6))] Gary is white.[(triple16 OR ((triple15) -> rule5))] @1: Charlie is nice.[(((triple10 triple9) -> rule7))] Gary is cold.[(((triple15) -> rule4) OR ((((triple16 triple14) -> rule6)) -> rule4))] @2: Gary is young.[(((((triple15) -> rule4) triple14) -> rule8) OR ((((triple15) -> rule4) ((triple16 triple15) -> rule7)) -> rule8) OR ((((((triple16 triple14) -> rule6)) -> rule4) triple14) -> rule8) OR ((((triple15) -> rule4) ((((triple15) -> rule5) triple15) -> rule7)) -> rule8) OR ((((((triple16 triple14) -> rule6)) -> rule4) ((triple16 triple15) -> rule7)) -> rule8) OR ((((((triple16 triple14) -> rule6)) -> rule4) ((((triple15) -> rule5) triple15) -> rule7)) -> rule8))]