Anne is big. Anne is furry. Anne is kind. Anne is round. Anne is smart. Anne is white. Anne is young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is white. All big things are furry. Smart, round things are furry.
Fiona is smart.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule1) OR ((triple5 triple4) -> rule2))] Anne is kind.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9 OR ((triple8) -> rule1))] Fiona is kind.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)]