Dave is red. Fiona is quiet. If someone is quiet then they are red. If someone is round then they are not big. Red people are kind. If Dave is kind and Dave is red then Dave is round. Kind people are not furry. White people are furry.
Fiona is kind.
@0: Dave is red.[(triple1)] Fiona is quiet.[(triple2)] @1: Dave is kind.[(((triple1) -> rule3))] Fiona is red.[(((triple2) -> rule1))] @2: Dave is not furry.[(((((triple1) -> rule3)) -> rule5))] Dave is round.[(((((triple1) -> rule3) triple1) -> rule4))] Fiona is kind.[(((((triple2) -> rule1)) -> rule3))] @3: Dave is not big.[(((((((triple1) -> rule3) triple1) -> rule4)) -> rule2))] Fiona is not furry.[(((((((triple2) -> rule1)) -> rule3)) -> rule5))]