Charlie is green. Fiona is kind. Fiona is smart. All green things are big. All big things are rough. Red, big things are green. All rough things are red. If Charlie is green and Charlie is rough then Charlie is smart. If Charlie is smart then Charlie is red.
Charlie is rough.
@0: Charlie is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is big.[(((triple1) -> rule1))] @2: Charlie is rough.[(((((triple1) -> rule1)) -> rule2))] @3: Charlie is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule4) OR ((((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule6))] Charlie is smart.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule5))]