Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is young. All nice, big people are young. If someone is rough then they are big. If someone is furry and young then they are kind.
Dave is rough.
@0: Dave is big.[(triple1 OR ((triple6) -> rule2))] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple2 triple7) -> rule3) OR ((triple2 ((triple4 triple1) -> rule1)) -> rule3) OR ((triple2 ((triple4 ((triple6) -> rule2)) -> rule1)) -> rule3))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple6) -> rule2)) -> rule1))]