Dave is kind. Dave is quiet. Dave is red. Dave is white. Harry is big. Harry is blue. Harry is kind. Harry is quiet. Harry is red. Harry is rough. If someone is blue and kind then they are big. Rough people are blue. If Dave is red then Dave is quiet.
Dave is not big.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2 OR ((triple3) -> rule3))] Dave is red.[(triple3)] Dave is white.[(triple4)] Harry is big.[(triple5 OR ((triple6 triple7) -> rule1) OR ((((triple10) -> rule2) triple7) -> rule1))] Harry is blue.[(triple6 OR ((triple10) -> rule2))] Harry is kind.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)]