Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is young. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is young. If Dave is blue and Dave is young then Dave is nice. Nice things are round.
Dave is big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple2 triple7) -> rule1))] Dave is quiet.[(triple5)] Dave is round.[(triple6 OR ((triple4) -> rule2) OR ((((triple2 triple7) -> rule1)) -> rule2))] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is round.[(triple13 OR ((triple11) -> rule2))] Gary is young.[(triple14)]