Dave is blue. Dave is green. Dave is kind. Dave is red. Dave is young. Erin is blue. Erin is green. Erin is quiet. Erin is red. Harry is green. Nice, red people are blue. Red, green people are kind. If someone is nice and quiet then they are red. All kind people are nice. If Erin is nice then Erin is quiet. If Harry is green then Harry is kind. All nice people are blue. Nice people are red.
Erin is kind.
@0: Dave is blue.[(triple1 OR ((((triple3) -> rule4)) -> rule7) OR ((((triple3) -> rule4) triple4) -> rule1) OR ((((((triple4 triple2) -> rule2)) -> rule4)) -> rule7) OR ((((((triple4 triple2) -> rule2)) -> rule4) triple4) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule1) OR ((((((triple4 triple2) -> rule2)) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule1))] Dave is green.[(triple2)] Dave is kind.[(triple3 OR ((triple4 triple2) -> rule2))] Dave is red.[(triple4 OR ((((triple3) -> rule4)) -> rule8))] Dave is young.[(triple5)] Erin is blue.[(triple6 OR ((((((triple9 triple7) -> rule2)) -> rule4)) -> rule7) OR ((((((triple9 triple7) -> rule2)) -> rule4) triple9) -> rule1))] Erin is green.[(triple7)] Erin is quiet.[(triple8 OR ((((((triple9 triple7) -> rule2)) -> rule4)) -> rule5))] Erin is red.[(triple9)] Harry is green.[(triple10)] @1: Dave is nice.[(((triple3) -> rule4) OR ((((triple4 triple2) -> rule2)) -> rule4))] Erin is kind.[(((triple9 triple7) -> rule2))] Harry is kind.[(((triple10) -> rule6))] @2: Erin is nice.[(((((triple9 triple7) -> rule2)) -> rule4))] Harry is nice.[(((((triple10) -> rule6)) -> rule4))] @3: Harry is blue.[(((((((triple10) -> rule6)) -> rule4)) -> rule7) OR ((((((triple10) -> rule6)) -> rule4) ((((((triple10) -> rule6)) -> rule4)) -> rule8)) -> rule1))] Harry is red.[(((((((triple10) -> rule6)) -> rule4)) -> rule8))]