Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is smart. Anne is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is young. If someone is kind then they are smart. If Fiona is blue and Fiona is smart then Fiona is young. If someone is green and furry then they are blue.
Fiona is furry.
@0: Anne is blue.[(triple1 OR ((triple3 triple2) -> rule3))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is smart.[(triple6 OR ((triple4) -> rule1))] Anne is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple10 triple9) -> rule3))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Fiona is smart.[(triple13 OR ((triple11) -> rule1))] Fiona is young.[(triple14 OR ((triple8 triple13) -> rule2) OR ((triple8 ((triple11) -> rule1)) -> rule2) OR ((((triple10 triple9) -> rule3) triple13) -> rule2) OR ((((triple10 triple9) -> rule3) ((triple11) -> rule1)) -> rule2))]