Charlie is kind. Dave is furry. Fiona is white. If someone is big then they are green. If someone is young then they are not blue. All big, green people are blue. All furry people are kind. Green, kind people are furry. All white people are big. All green people are white. If Dave is white then Dave is big.
Fiona is young.
@0: Charlie is kind.[(triple1)] Dave is furry.[(triple2)] Fiona is white.[(triple3)] @1: Dave is kind.[(((triple2) -> rule4))] Fiona is big.[(((triple3) -> rule6))] @2: Fiona is green.[(((((triple3) -> rule6)) -> rule1))] @3: Fiona is blue.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule3))]