Dave is white. Erin is furry. Fiona is furry. If someone is furry then they are blue. All young people are white. If someone is kind then they are young. Blue people are red. If someone is nice then they are young. If someone is kind then they are white. If someone is red then they are kind. Young people are kind.
Dave is not kind.
@0: Dave is white.[(triple1)] Erin is furry.[(triple2)] Fiona is furry.[(triple3)] @1: Erin is blue.[(((triple2) -> rule1))] Fiona is blue.[(((triple3) -> rule1))] @2: Erin is red.[(((((triple2) -> rule1)) -> rule4))] Fiona is red.[(((((triple3) -> rule1)) -> rule4))] @3: Erin is kind.[(((((((triple2) -> rule1)) -> rule4)) -> rule7))] Fiona is kind.[(((((((triple3) -> rule1)) -> rule4)) -> rule7))] @4: Erin is white.[(((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3)) -> rule2))] Erin is young.[(((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule3))] Fiona is white.[(((((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule3)) -> rule2))] Fiona is young.[(((((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule3))]