Bob is furry. Bob is nice. Bob is red. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is rough. Dave is white. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is white. All furry things are rough. If something is rough then it is furry.
Dave is cold.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((triple9) -> rule2))] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9 OR ((triple6) -> rule1))] Dave is white.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12 OR ((triple15) -> rule2))] Erin is nice.[(triple13)] Erin is red.[(triple14)] Erin is rough.[(triple15 OR ((triple12) -> rule1))] Erin is white.[(triple16)] @1: Bob is rough.[(((triple1) -> rule1))]