Anne is white. Charlie is young. Dave is round. Erin is quiet. If someone is rough and young then they are blue. Rough, white people are smart. All smart people are rough. All white people are smart. If someone is young then they are smart. All smart people are rough.
Charlie is blue.
@0: Anne is white.[(triple1)] Charlie is young.[(triple2)] Dave is round.[(triple3)] Erin is quiet.[(triple4)] @1: Anne is smart.[(((triple1) -> rule4))] Charlie is smart.[(((triple2) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule4)) -> rule3) OR ((((triple1) -> rule4)) -> rule6))] Charlie is rough.[(((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule6))] @3: Charlie is blue.[(((((((triple2) -> rule5)) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule5)) -> rule6) triple2) -> rule1))]