Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is round. Harry is white. All round people are furry. All white, round people are red. Red people are green.
Harry is big.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple6) -> rule1))] Dave is green.[(triple3 OR ((triple5) -> rule3) OR ((((triple7 triple6) -> rule2)) -> rule3))] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple7 triple6) -> rule2))] Dave is round.[(triple6)] Dave is white.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9 OR ((triple13) -> rule1))] Harry is green.[(triple10 OR ((triple12) -> rule3) OR ((((triple14 triple13) -> rule2)) -> rule3))] Harry is nice.[(triple11)] Harry is red.[(triple12 OR ((triple14 triple13) -> rule2))] Harry is round.[(triple13)] Harry is white.[(triple14)]