Anne is not kind. Anne is young. Dave is big. Dave is red. Fiona is not red. Gary is cold. Gary is smart. Young people are not smart. If Dave is kind and Dave is smart then Dave is not rough. If someone is young and not smart then they are not big.
Fiona is not kind.
@0: Anne is not kind.[(triple1)] Anne is young.[(triple2)] Dave is big.[(triple3)] Dave is red.[(triple4)] Fiona is not red.[(triple5)] Gary is cold.[(triple6)] Gary is smart.[(triple7)] @1: Anne is not smart.[(((triple2) -> rule1))] @2: Anne is not big.[(((triple2 ((triple2) -> rule1)) -> rule3))]