Dave is nice. Erin is red. If something is kind then it is big. If Erin is kind and Erin is young then Erin is blue. Big things are quiet. If something is blue then it is kind. All big, red things are nice. Quiet things are red. If something is nice then it is big. If something is nice and red then it is blue.
Dave is big.
@0: Dave is nice.[(triple1)] Erin is red.[(triple2)] @1: Dave is big.[(((triple1) -> rule7))] @2: Dave is quiet.[(((((triple1) -> rule7)) -> rule3))] @3: Dave is red.[(((((((triple1) -> rule7)) -> rule3)) -> rule6))] @4: Dave is blue.[(((triple1 ((((((triple1) -> rule7)) -> rule3)) -> rule6)) -> rule8))] @5: Dave is kind.[(((((triple1 ((((((triple1) -> rule7)) -> rule3)) -> rule6)) -> rule8)) -> rule4))]