Anne is cold. Anne is nice. Anne is smart. Charlie is cold. Charlie is rough. Charlie is white. Dave is cold. Dave is nice. Fiona is big. Fiona is red. Fiona is rough. Fiona is smart. If someone is rough then they are cold. If Anne is nice and Anne is cold then Anne is rough.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Charlie is cold.[(triple4 OR ((triple5) -> rule1))] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Fiona is big.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] @1: Anne is rough.[(((triple2 triple1) -> rule2))] Fiona is cold.[(((triple11) -> rule1))]