Charlie is not kind. Dave is red. Erin is young. Harry is kind. If someone is quiet and not kind then they are nice. If someone is quiet then they are not nice. All kind people are red. Red people are smart. If someone is red then they are quiet. Cold, kind people are quiet.
Erin is not nice.
@0: Charlie is not kind.[(triple1)] Dave is red.[(triple2)] Erin is young.[(triple3)] Harry is kind.[(triple4)] @1: Dave is quiet.[(((triple2) -> rule5))] Dave is smart.[(((triple2) -> rule4))] Harry is red.[(((triple4) -> rule3))] @2: Dave is not nice.[(((((triple2) -> rule5)) -> rule2))] Harry is quiet.[(((((triple4) -> rule3)) -> rule5))] Harry is smart.[(((((triple4) -> rule3)) -> rule4))] @3: Harry is not nice.[(((((((triple4) -> rule3)) -> rule5)) -> rule2))]