Charlie is round. All blue, smart things are red. Blue, rough things are round. If something is green then it is red. If Charlie is rough then Charlie is green. All round things are smart. All smart, red things are blue. If something is blue and round then it is smart. All smart things are rough.
Charlie is round.
@0: Charlie is round.[(triple1)] @1: Charlie is smart.[(((triple1) -> rule5))] @2: Charlie is rough.[(((((triple1) -> rule5)) -> rule8))] @3: Charlie is green.[(((((((triple1) -> rule5)) -> rule8)) -> rule4))] @4: Charlie is red.[(((((((((triple1) -> rule5)) -> rule8)) -> rule4)) -> rule3))] @5: Charlie is blue.[(((((triple1) -> rule5) ((((((((triple1) -> rule5)) -> rule8)) -> rule4)) -> rule3)) -> rule6))]