Anne is red. Bob is green. Bob is red. Charlie is green. Charlie is red. Erin is kind. Erin is red. If someone is rough and young then they are kind. All quiet, young people are rough. Big, rough people are young. Green people are young. If someone is green and kind then they are rough. All young people are quiet.
Erin is red.
@0: Anne is red.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7)] @1: Bob is young.[(((triple2) -> rule4))] Charlie is young.[(((triple4) -> rule4))] @2: Bob is quiet.[(((((triple2) -> rule4)) -> rule6))] Charlie is quiet.[(((((triple4) -> rule4)) -> rule6))] @3: Bob is rough.[(((((((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule2))] Charlie is rough.[(((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule2))] @4: Bob is kind.[(((((((((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule1))] Charlie is kind.[(((((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule2) ((triple4) -> rule4)) -> rule1))]