Anne is big. Anne is cold. Anne is green. Anne is not nice. Anne is red. Anne is rough. Anne is white. If someone is nice then they are red. All green people are red. If someone is red and nice then they are cold. If Anne is white and Anne is not cold then Anne is not rough. If Anne is not nice then Anne is rough. If someone is cold then they are white. If someone is rough and cold then they are white. If someone is nice and not rough then they are big.
Anne is green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is not nice.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule2))] Anne is rough.[(triple6 OR ((triple4) -> rule5))] Anne is white.[(triple7 OR ((triple2) -> rule6) OR ((triple6 triple2) -> rule7) OR ((((triple4) -> rule5) triple2) -> rule7))]