Anne is big. Anne is blue. Anne is round. Erin is big. Erin is smart. Fiona is blue. Fiona is furry. Fiona is smart. Harry is big. Harry is blue. Harry is furry. Harry is round. All green people are furry. Furry people are smart. If someone is green then they are blue.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is round.[(triple3)] Erin is big.[(triple4)] Erin is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule2))] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)] @1: Harry is smart.[(((triple11) -> rule2))]