Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is round. Anne is not smart. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is round. Bob is smart. If Anne is furry and Anne is not round then Anne is blue. All smart people are big. If someone is smart and not furry then they are not cold. Cold people are red. If Bob is big then Bob is red. If Bob is not big then Bob is round.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is not smart.[(triple7)] Anne is red.[(triple5 OR ((triple3) -> rule4))] Anne is round.[(triple6)] Bob is big.[(triple8 OR ((triple14) -> rule2))] Bob is blue.[(triple9)] Bob is cold.[(triple10)] Bob is furry.[(triple11)] Bob is red.[(triple12 OR ((triple10) -> rule4) OR ((triple8) -> rule5) OR ((((triple14) -> rule2)) -> rule5))] Bob is round.[(triple13)] Bob is smart.[(triple14)]