Charlie is big. Charlie is blue. Charlie is furry. Charlie is red. Charlie is round. Charlie is white. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is red. Dave is round. Dave is white. Dave is young. Blue, young people are furry. All blue, white people are round. If someone is big then they are young.
Dave is young.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple2 triple7) -> rule1) OR ((triple2 ((triple1) -> rule3)) -> rule1))] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple2 triple6) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple1) -> rule3))] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is furry.[(triple10 OR ((triple9 triple14) -> rule1) OR ((triple9 ((triple8) -> rule3)) -> rule1))] Dave is red.[(triple11)] Dave is round.[(triple12 OR ((triple9 triple13) -> rule2))] Dave is white.[(triple13)] Dave is young.[(triple14 OR ((triple8) -> rule3))]