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