Dave is blue. Erin is kind. If something is kind and not furry then it is quiet. If something is kind then it is quiet. Big, red things are not round. If something is quiet and kind then it is round. If Dave is quiet then Dave is kind. Furry, blue things are red. If Erin is big and Erin is kind then Erin is not red. All quiet things are big.
Erin is not big.
@0: Dave is blue.[(triple1)] Erin is kind.[(triple2)] @1: Erin is quiet.[(((triple2) -> rule2))] @2: Erin is big.[(((((triple2) -> rule2)) -> rule8))] Erin is round.[(((((triple2) -> rule2) triple2) -> rule4))] @3: Erin is not red.[(((((((triple2) -> rule2)) -> rule8) triple2) -> rule7))]