Bob is rough. Charlie is kind. Fiona is white. All white people are kind. If someone is smart then they are not round. All kind, rough people are white. If someone is round then they are not green. If someone is kind then they are green. All green, white people are not smart. If someone is round and white then they are not young. If Charlie is not kind then Charlie is young.
Fiona is green.
@0: Bob is rough.[(triple1)] Charlie is kind.[(triple2)] Fiona is white.[(triple3)] @1: Charlie is green.[(((triple2) -> rule5))] Fiona is kind.[(((triple3) -> rule1))] @2: Fiona is green.[(((((triple3) -> rule1)) -> rule5))] @3: Fiona is not smart.[(((((((triple3) -> rule1)) -> rule5) triple3) -> rule6))]