Anne is red. Anne is round. Dave is red. Dave is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is young. All red, green people are round. If Anne is furry then Anne is young. If Dave is blue then Dave is red. Young, red people are blue. All green people are rough. If someone is round and young then they are blue.
Fiona is not furry.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Dave is red.[(triple3)] Dave is young.[(triple4)] Fiona is blue.[(triple5 OR ((triple10 triple8) -> rule4) OR ((triple9 triple10) -> rule6) OR ((((triple8 triple7) -> rule1) triple10) -> rule6))] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9 OR ((triple8 triple7) -> rule1))] Fiona is young.[(triple10)] @1: Dave is blue.[(((triple4 triple3) -> rule4))] Fiona is rough.[(((triple7) -> rule5))]