Charlie is quiet. Fiona is furry. Quiet things are round. If Charlie is quiet and Charlie is round then Charlie is red. If something is white then it is round. If something is kind then it is red. If Fiona is white and Fiona is quiet then Fiona is red. If something is red and blue then it is quiet. If Charlie is quiet then Charlie is furry. If something is red then it is blue.
Fiona is not quiet.
@0: Charlie is quiet.[(triple1)] Fiona is furry.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule7))] Charlie is round.[(((triple1) -> rule1))] @2: Charlie is red.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: Charlie is blue.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule8))]