Anne is blue. Charlie is blue. Dave is furry. Fiona is furry. All kind, rough people are not big. Rough people are big. All kind, red people are blue. Rough people are not quiet. Big people are rough. All furry people are red. If someone is furry and red then they are kind. If Dave is quiet and Dave is red then Dave is furry.
Dave is not rough.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Dave is furry.[(triple3)] Fiona is furry.[(triple4)] @1: Dave is red.[(((triple3) -> rule6))] Fiona is red.[(((triple4) -> rule6))] @2: Dave is kind.[(((triple3 ((triple3) -> rule6)) -> rule7))] Fiona is kind.[(((triple4 ((triple4) -> rule6)) -> rule7))] @3: Dave is blue.[(((((triple3 ((triple3) -> rule6)) -> rule7) ((triple3) -> rule6)) -> rule3))] Fiona is blue.[(((((triple4 ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3))]