Anne is big. Anne is not blue. Anne is nice. Anne is red. Anne is not round. Anne is smart. Anne is white. Bob is blue. Bob is not red. Bob is round. Bob is white. Charlie is nice. Charlie is not round. Charlie is smart. Fiona is round. Fiona is not white. If something is round then it is smart.
Anne is round.
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not blue.[(triple2)] Anne is not round.[(triple5)] Anne is red.[(triple4)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Bob is blue.[(triple8)] Bob is not red.[(triple9)] Bob is round.[(triple10)] Bob is white.[(triple11)] Charlie is nice.[(triple12)] Charlie is not round.[(triple13)] Charlie is smart.[(triple14)] Fiona is not white.[(triple16)] Fiona is round.[(triple15)] @1: Bob is smart.[(((triple10) -> rule1))] Fiona is smart.[(((triple15) -> rule1))]