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