Anne is quiet. Dave is red. Fiona is round. If someone is red then they are quiet. If someone is young then they are red. If Fiona is young and Fiona is green then Fiona is quiet. All young, green people are smart. If Dave is red then Dave is young. All red people are quiet. If Fiona is young and Fiona is red then Fiona is quiet. If Anne is young and Anne is green then Anne is smart.
Anne is not quiet.
@0: Anne is quiet.[(triple1)] Dave is red.[(triple2)] Fiona is round.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule1) OR ((triple2) -> rule6))] Dave is young.[(((triple2) -> rule5))]