Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is not red. Dave is rough. Dave is young. If someone is young then they are furry. Big people are not red. If someone is big then they are blue. If someone is red and not furry then they are big. All red, blue people are big. Rough people are cold. All furry people are cold. Big people are cold.
Dave is young.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1) -> rule3))] Dave is cold.[(triple3 OR ((triple1) -> rule8) OR ((triple4) -> rule7) OR ((triple6) -> rule6) OR ((((triple7) -> rule1)) -> rule7))] Dave is furry.[(triple4 OR ((triple7) -> rule1))] Dave is not red.[(triple5 OR ((triple1) -> rule2))] Dave is rough.[(triple6)] Dave is young.[(triple7)]