Anne is big. Anne is not blue. Anne is red. Anne is round. Anne is smart. Anne is not white. Fiona is big. Fiona is white. Fiona is young. Gary is big. Gary is red. Gary is young. Harry is big. Harry is smart. Harry is young. If Anne is round and Anne is not young then Anne is red. If Anne is red then Anne is smart. If Harry is blue then Harry is round. All round, blue people are white. If someone is red and big then they are smart. White people are blue.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Anne is not white.[(triple6)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule2) OR ((triple3 triple1) -> rule5))] Fiona is big.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)] Harry is big.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Fiona is blue.[(((triple8) -> rule6))] Gary is smart.[(((triple11 triple10) -> rule5))]