Anne is kind. Anne is nice. Anne is smart. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. If someone is rough and cold then they are smart. If Charlie is nice and Charlie is blue then Charlie is red. All kind people are red. All nice people are smart. All kind people are red. All red, blue people are rough.
Fiona is smart.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3 OR ((triple2) -> rule4))] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6 OR ((triple5) -> rule3) OR ((triple5) -> rule5))] Charlie is rough.[(triple7)] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple10) -> rule4) OR ((triple11 triple8) -> rule1))] @1: Anne is red.[(((triple1) -> rule3) OR ((triple1) -> rule5))] Charlie is smart.[(((triple7 triple4) -> rule1))] Fiona is red.[(((triple9) -> rule3) OR ((triple9) -> rule5))]