Bob is green. Bob is white. Dave is cold. Dave is green. Dave is round. Dave is smart. Erin is rough. Fiona is rough. Fiona is round. Fiona is smart. Rough things are round. If Dave is rough then Dave is round.
Dave is green.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Erin is rough.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9 OR ((triple8) -> rule1))] Fiona is smart.[(triple10)] @1: Erin is round.[(((triple7) -> rule1))]