Anne is big. Anne is furry. Anne is kind. Anne is not red. Anne is rough. Anne is round. Anne is smart. Fiona is not big. Fiona is kind. Fiona is smart. All round, rough things are not red. If something is red and not kind then it is rough. If something is red then it is rough. If Anne is kind and Anne is furry then Anne is rough. If something is round and not rough then it is not smart. Big, red things are smart.
Fiona is not rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not red.[(triple4 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple3 triple2) -> rule4)) -> rule1))] Anne is rough.[(triple5 OR ((triple3 triple2) -> rule4))] Anne is round.[(triple6)] Anne is smart.[(triple7)] Fiona is kind.[(triple9)] Fiona is not big.[(triple8)] Fiona is smart.[(triple10)]