Dave is big. Dave is smart. Dave is young. Harry is big. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. If someone is rough and smart then they are red. Red people are round. If someone is young then they are white.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Harry is big.[(triple4)] Harry is red.[(triple5 OR ((triple6 triple8) -> rule1))] Harry is rough.[(triple6)] Harry is round.[(triple7 OR ((triple5) -> rule2) OR ((((triple6 triple8) -> rule1)) -> rule2))] Harry is smart.[(triple8)] Harry is white.[(triple9 OR ((triple10) -> rule3))] Harry is young.[(triple10)] @1: Dave is white.[(((triple3) -> rule3))]