Bob is blue. Bob is red. Bob is rough. Bob is young. Dave is round. Dave is white. Dave is young. Erin is blue. Erin is furry. Erin is rough. If someone is furry then they are rough. Blue people are white.
Bob is rough.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is rough.[(triple10 OR ((triple9) -> rule1))] @1: Bob is white.[(((triple1) -> rule2))] Erin is white.[(((triple8) -> rule2))]