Bob is nice. Bob is young. Dave is not green. Dave is nice. Erin is green. Erin is kind. Erin is red. Erin is white. Harry is green. Harry is not red. Harry is rough. Harry is young. If someone is nice then they are not white. If someone is young then they are nice. White people are kind.
Bob is young.
@0: Bob is nice.[(triple1 OR ((triple2) -> rule2))] Bob is young.[(triple2)] Dave is nice.[(triple4)] Dave is not green.[(triple3)] Erin is green.[(triple5)] Erin is kind.[(triple6 OR ((triple8) -> rule3))] Erin is red.[(triple7)] Erin is white.[(triple8)] Harry is green.[(triple9)] Harry is not red.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Bob is not white.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Dave is not white.[(((triple4) -> rule1))] Harry is nice.[(((triple12) -> rule2))] @2: Harry is not white.[(((((triple12) -> rule2)) -> rule1))]