Anne is not big. Anne is round. Anne is young. Bob is big. Bob is cold. Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is smart. If someone is round then they are red. If Bob is not red then Bob is quiet.
Anne is quiet.
@0: Anne is not big.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is smart.[(triple10)] @1: Anne is red.[(((triple2) -> rule1))]