Anne is young. Dave is young. Fiona is cold. If someone is kind then they are young. If someone is blue then they are round. Kind people are blue. If Dave is round then Dave is smart. If someone is smart then they are blue. If Dave is young then Dave is blue. If someone is round then they are cold. If someone is cold and kind then they are red.
Fiona is smart.
@0: Anne is young.[(triple1)] Dave is young.[(triple2)] Fiona is cold.[(triple3)] @1: Dave is blue.[(((triple2) -> rule6))] @2: Dave is round.[(((((triple2) -> rule6)) -> rule2))] @3: Dave is cold.[(((((((triple2) -> rule6)) -> rule2)) -> rule7))] Dave is smart.[(((((((triple2) -> rule6)) -> rule2)) -> rule4))]