Anne is blue. Anne is round. Bob is big. Charlie is blue. Charlie is round. Charlie is smart. Fiona is cold. Fiona is rough. Fiona is round. Fiona is smart. If Anne is smart then Anne is red. All blue people are smart.
Fiona is not smart.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Bob is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule2))] Fiona is cold.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is smart.[(((triple1) -> rule2))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule1))]