Anne is big. Anne is cold. Anne is furry. Anne is red. Anne is smart. Dave is not blue. Dave is not furry. Gary is not big. Gary is cold. Gary is round. If someone is smart then they are round. If someone is smart and not round then they are cold. If Dave is not round and Dave is not blue then Dave is not cold. If Gary is big and Gary is smart then Gary is blue. If someone is big then they are red. Cold, big people are red. If someone is cold and smart then they are big. Blue people are big.
Gary is big.
@0: Anne is big.[(triple1 OR ((triple2 triple5) -> rule7))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4 OR ((triple1) -> rule5) OR ((triple2 triple1) -> rule6) OR ((((triple2 triple5) -> rule7)) -> rule5) OR ((triple2 ((triple2 triple5) -> rule7)) -> rule6))] Anne is smart.[(triple5)] Dave is not blue.[(triple6)] Dave is not furry.[(triple7)] Gary is cold.[(triple9)] Gary is not big.[(triple8)] Gary is round.[(triple10)] @1: Anne is round.[(((triple5) -> rule1))]