Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is red. Anne is smart. Anne is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. If Fiona is big then Fiona is red. If something is red and big then it is smart.
Anne is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6 OR ((triple5 triple1) -> rule2))] Anne is white.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is red.[(triple12 OR ((triple8) -> rule1))] Fiona is smart.[(triple13 OR ((triple12 triple8) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule2))] Fiona is white.[(triple14)]