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