Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is young. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is young. If something is rough then it is nice. Red, young things are nice.
Bob is cold.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2 OR ((triple4) -> rule1) OR ((triple3 triple5) -> rule2))] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9 OR ((triple11) -> rule1) OR ((triple10 triple12) -> rule2))] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is young.[(triple12)]