Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is round. Dave is green. Fiona is blue. Fiona is red. Harry is green. Harry is nice. Harry is red. Harry is rough. If someone is rough then they are round.
Dave is not round.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Dave is green.[(triple6)] Fiona is blue.[(triple7)] Fiona is red.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Harry is round.[(((triple12) -> rule1))]