Dave is big. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is young. If someone is nice then they are red. Quiet people are nice.
Dave is big.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple4) -> rule2))] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple3) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Dave is smart.[(triple6)] Dave is young.[(triple7)]