Bob is cold. Bob is green. Bob is kind. Bob is round. Charlie is blue. Charlie is green. Erin is kind. Furry, green people are blue. If Bob is cold and Bob is kind then Bob is furry. If someone is kind then they are cold. All green people are young. Green, young people are kind. All cold people are blue. If Erin is furry and Erin is kind then Erin is blue. If Bob is cold and Bob is furry then Bob is green.
Charlie is not furry.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule3) OR ((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3))] Bob is green.[(triple2 OR ((triple1 ((triple1 triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8) OR ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8))] Bob is kind.[(triple3 OR ((triple2 ((triple2) -> rule4)) -> rule5))] Bob is round.[(triple4)] Charlie is blue.[(triple5 OR ((((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule3)) -> rule6))] Charlie is green.[(triple6)] Erin is kind.[(triple7)] @1: Bob is blue.[(((triple1) -> rule6) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule2) triple2) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3)) -> rule6) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1))] Bob is furry.[(((triple1 triple3) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2) OR ((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2))] Bob is young.[(((triple2) -> rule4) OR ((((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule4) OR ((((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule4) OR ((((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule4) OR ((((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule4))] Charlie is young.[(((triple6) -> rule4))] Erin is cold.[(((triple7) -> rule3))] @2: Charlie is kind.[(((triple6 ((triple6) -> rule4)) -> rule5))] Erin is blue.[(((((triple7) -> rule3)) -> rule6))] @3: Charlie is cold.[(((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule3))]