Dave is white. Erin is green. Erin is white. Gary is nice. Gary is smart. Gary is white. Harry is kind. Green, white people are nice. If someone is young then they are kind. White people are smart. Kind, smart people are green. All kind people are young. If someone is young and kind then they are nice. Nice people are white. All kind people are young.
Erin is green.
@0: Dave is white.[(triple1)] Erin is green.[(triple2)] Erin is white.[(triple3)] Gary is nice.[(triple4)] Gary is smart.[(triple5 OR ((triple6) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] Gary is white.[(triple6 OR ((triple4) -> rule7))] Harry is kind.[(triple7)] @1: Dave is smart.[(((triple1) -> rule3))] Erin is nice.[(((triple2 triple3) -> rule1))] Erin is smart.[(((triple3) -> rule3))] Harry is young.[(((triple7) -> rule5) OR ((triple7) -> rule8))] @2: Harry is nice.[(((((triple7) -> rule5) triple7) -> rule6) OR ((((triple7) -> rule8) triple7) -> rule6))] @3: Harry is white.[(((((((triple7) -> rule5) triple7) -> rule6)) -> rule7) OR ((((((triple7) -> rule8) triple7) -> rule6)) -> rule7))] @4: Harry is smart.[(((((((((triple7) -> rule5) triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule8) triple7) -> rule6)) -> rule7)) -> rule3))] @5: Harry is green.[(((triple7 ((((((((triple7) -> rule5) triple7) -> rule6)) -> rule7)) -> rule3)) -> rule4) OR ((triple7 ((((((((triple7) -> rule8) triple7) -> rule6)) -> rule7)) -> rule3)) -> rule4))]