Bob is green. Bob is kind. Charlie is nice. Erin is kind. Erin is nice. Erin is white. Gary is young. All young things are white. White things are young. All nice, green things are kind. If something is young then it is furry. All kind things are nice. All nice, green things are white. If something is cold and kind then it is green. If something is nice and young then it is furry. Furry things are cold.
Erin is green.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Charlie is nice.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5 OR ((triple4) -> rule5))] Erin is white.[(triple6)] Gary is young.[(triple7)] @1: Bob is nice.[(((triple2) -> rule5))] Erin is young.[(((triple6) -> rule2))] Gary is furry.[(((triple7) -> rule4))] Gary is white.[(((triple7) -> rule1))] @2: Bob is white.[(((((triple2) -> rule5) triple1) -> rule6))] Erin is furry.[(((((triple6) -> rule2)) -> rule4) OR ((triple5 ((triple6) -> rule2)) -> rule8) OR ((((triple4) -> rule5) ((triple6) -> rule2)) -> rule8))] Gary is cold.[(((((triple7) -> rule4)) -> rule9))] @3: Bob is young.[(((((((triple2) -> rule5) triple1) -> rule6)) -> rule2))] Erin is cold.[(((((((triple6) -> rule2)) -> rule4)) -> rule9) OR ((((triple5 ((triple6) -> rule2)) -> rule8)) -> rule9) OR ((((((triple4) -> rule5) ((triple6) -> rule2)) -> rule8)) -> rule9))] @4: Bob is furry.[(((((((((triple2) -> rule5) triple1) -> rule6)) -> rule2)) -> rule4) OR ((((triple2) -> rule5) ((((((triple2) -> rule5) triple1) -> rule6)) -> rule2)) -> rule8))] Erin is green.[(((((((((triple6) -> rule2)) -> rule4)) -> rule9) triple4) -> rule7) OR ((((((triple5 ((triple6) -> rule2)) -> rule8)) -> rule9) triple4) -> rule7) OR ((((((((triple4) -> rule5) ((triple6) -> rule2)) -> rule8)) -> rule9) triple4) -> rule7))] @5: Bob is cold.[(((((((((((triple2) -> rule5) triple1) -> rule6)) -> rule2)) -> rule4)) -> rule9) OR ((((((triple2) -> rule5) ((((((triple2) -> rule5) triple1) -> rule6)) -> rule2)) -> rule8)) -> rule9))]