Charlie is nice. Dave is nice. Erin is green. Harry is big. Furry, young people are white. Nice people are not furry. If someone is big then they are blue. If Dave is furry then Dave is not young. Blue people are nice. If Dave is white and Dave is blue then Dave is nice.
Erin is nice.
@0: Charlie is nice.[(triple1)] Dave is nice.[(triple2)] Erin is green.[(triple3)] Harry is big.[(triple4)] @1: Charlie is not furry.[(((triple1) -> rule2))] Dave is not furry.[(((triple2) -> rule2))] Harry is blue.[(((triple4) -> rule3))] @2: Harry is nice.[(((((triple4) -> rule3)) -> rule5))] @3: Harry is not furry.[(((((((triple4) -> rule3)) -> rule5)) -> rule2))]