Charlie is nice. Dave is young. Big people are green. If someone is kind then they are green. All young people are big. Green people are kind. Nice, smart people are big. All young, kind people are red. All red, kind people are green. Young people are red.
Charlie is not red.
@0: Charlie is nice.[(triple1)] Dave is young.[(triple2)] @1: Dave is big.[(((triple2) -> rule3))] Dave is red.[(((triple2) -> rule8) OR ((triple2 ((((((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule6))] @2: Dave is green.[(((((triple2) -> rule3)) -> rule1))] @3: Dave is kind.[(((((((triple2) -> rule3)) -> rule1)) -> rule4))]