Anne is rough. Bob is young. Charlie is round. Harry is blue. If someone is nice then they are rough. All round, big people are blue. Rough, big people are nice. Rough people are kind. Round people are blue. Blue people are rough. All blue people are young. If someone is kind then they are nice.
Bob is not blue.
@0: Anne is rough.[(triple1)] Bob is young.[(triple2)] Charlie is round.[(triple3)] Harry is blue.[(triple4)] @1: Anne is kind.[(((triple1) -> rule4))] Charlie is blue.[(((triple3) -> rule5))] Harry is rough.[(((triple4) -> rule6))] Harry is young.[(((triple4) -> rule7))] @2: Anne is nice.[(((((triple1) -> rule4)) -> rule8))] Charlie is rough.[(((((triple3) -> rule5)) -> rule6))] Charlie is young.[(((((triple3) -> rule5)) -> rule7))] Harry is kind.[(((((triple4) -> rule6)) -> rule4))] @3: Charlie is kind.[(((((((triple3) -> rule5)) -> rule6)) -> rule4))] Harry is nice.[(((((((triple4) -> rule6)) -> rule4)) -> rule8))] @4: Charlie is nice.[(((((((((triple3) -> rule5)) -> rule6)) -> rule4)) -> rule8))]