Bob is green. Bob is red. Charlie is young. Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is round. Fiona is cold. Fiona is furry. If someone is red then they are round. All young people are round. If Dave is red and Dave is furry then Dave is blue.
Dave is furry.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Charlie is young.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8 OR ((triple7) -> rule1))] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] @1: Bob is round.[(((triple2) -> rule1))] Charlie is round.[(((triple3) -> rule2))]