Anne is not big. Anne is cold. Anne is nice. Anne is red. Anne is smart. Anne is white. Anne is not young. If Anne is big and Anne is cold then Anne is young. All young things are red. All nice, young things are not cold. Big things are young. All cold, white things are smart. If Anne is smart and Anne is not big then Anne is white. If Anne is young and Anne is smart then Anne is red. If Anne is not nice and Anne is not cold then Anne is smart.
Anne is big.
@0: Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not young.[(triple7)] Anne is red.[(triple4)] Anne is smart.[(triple5 OR ((triple2 triple6) -> rule5))] Anne is white.[(triple6 OR ((triple5 triple1) -> rule6))]