Anne is smart. Bob is kind. Charlie is blue. Erin is red. Blue people are rough. If someone is kind and smart then they are rough. Round people are not red. If someone is blue and round then they are kind. If someone is rough then they are round. Smart, white people are round.
Anne is not rough.
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Charlie is blue.[(triple3)] Erin is red.[(triple4)] @1: Charlie is rough.[(((triple3) -> rule1))] @2: Charlie is round.[(((((triple3) -> rule1)) -> rule5))] @3: Charlie is kind.[(((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule4))] Charlie is not red.[(((((((triple3) -> rule1)) -> rule5)) -> rule3))]