Charlie is furry. Charlie is not kind. Fiona is round. All white people are not green. All quiet people are green. All white, round people are kind. All white people are furry. If someone is nice then they are white. All round people are nice. Kind people are nice. If Charlie is quiet then Charlie is furry.
Charlie is not kind.
@0: Charlie is furry.[(triple1)] Charlie is not kind.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule6))] @2: Fiona is white.[(((((triple3) -> rule6)) -> rule5))] @3: Fiona is furry.[(((((((triple3) -> rule6)) -> rule5)) -> rule4))] Fiona is kind.[(((((((triple3) -> rule6)) -> rule5) triple3) -> rule3))] Fiona is not green.[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]