Anne is big. Anne is kind. Anne is rough. Anne is smart. Fiona is big. Fiona is blue. Fiona is kind. Fiona is rough. Fiona is white. Harry is big. Harry is blue. Harry is kind. Harry is red. Harry is rough. Harry is smart. Harry is white. If Anne is red and Anne is rough then Anne is big.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)]