Anne is blue. Anne is furry. Anne is not green. Anne is kind. Anne is not round. Anne is smart. Anne is young. Fiona is blue. Fiona is not furry. Fiona is kind. Fiona is round. Fiona is not young. Kind, smart things are not green. If something is smart and blue then it is young. All round things are kind. All green, kind things are furry. If Anne is blue and Anne is not green then Anne is furry. If Anne is not kind then Anne is furry.
Fiona is young.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple4 triple6) -> rule1)) -> rule5))] Anne is kind.[(triple4)] Anne is not green.[(triple3 OR ((triple4 triple6) -> rule1))] Anne is not round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple6 triple1) -> rule2))] Fiona is blue.[(triple8)] Fiona is kind.[(triple10 OR ((triple11) -> rule3))] Fiona is not furry.[(triple9)] Fiona is not young.[(triple12)] Fiona is round.[(triple11)]