Anne is big. Anne is cold. Anne is nice. Anne is round. Bob is blue. Bob is not cold. Bob is round. Dave is blue. Dave is cold. Dave is quiet. Dave is not round. Dave is smart. If Bob is round then Bob is nice. All blue people are big. Round, quiet people are big. If Dave is round and Dave is not nice then Dave is not big. If Anne is blue and Anne is not round then Anne is cold. If Dave is smart and Dave is not cold then Dave is quiet.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is not cold.[(triple6)] Bob is round.[(triple7)] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is not round.[(triple11)] Dave is quiet.[(triple10)] Dave is smart.[(triple12)] @1: Bob is big.[(((triple5) -> rule2))] Bob is nice.[(((triple7) -> rule1))] Dave is big.[(((triple8) -> rule2))]