Anne is big. Anne is blue. Anne is cold. Anne is not nice. Anne is red. Anne is white. Anne is young. Fiona is nice. Fiona is not white. Harry is big. Harry is not blue. Harry is not cold. Harry is nice. Harry is not red. Harry is white. Harry is young. If Anne is red then Anne is white. If Anne is big and Anne is not nice then Anne is white. If Harry is big and Harry is young then Harry is nice. Red people are cold. If someone is cold then they are blue. If Harry is big and Harry is not nice then Harry is cold. If someone is young and not blue then they are white. If someone is red and not nice then they are white.
Fiona is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] Anne is cold.[(triple3 OR ((triple5) -> rule4))] Anne is not nice.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6 OR ((triple5) -> rule1) OR ((triple1 triple4) -> rule2) OR ((triple5 triple4) -> rule8))] Anne is young.[(triple7)] Fiona is nice.[(triple8)] Fiona is not white.[(triple9)] Harry is big.[(triple10)] Harry is nice.[(triple13 OR ((triple10 triple16) -> rule3))] Harry is not blue.[(triple11)] Harry is not cold.[(triple12)] Harry is not red.[(triple14)] Harry is white.[(triple15 OR ((triple16 triple11) -> rule7))] Harry is young.[(triple16)]