Charlie is quiet. Charlie is rough. Charlie is young. Harry is blue. Harry is quiet. Harry is red. Harry is rough. If someone is red and quiet then they are kind. If someone is quiet then they are red.
Charlie is not red.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is young.[(triple3)] Harry is blue.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6 OR ((triple5) -> rule2))] Harry is rough.[(triple7)] @1: Charlie is red.[(((triple1) -> rule2))] Harry is kind.[(((triple6 triple5) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule1))] @2: Charlie is kind.[(((((triple1) -> rule2) triple1) -> rule1))]