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