Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Harry is cold. Harry is red. Harry is smart. Harry is young. If Dave is kind then Dave is red. All kind, young things are red. If Dave is cold and Dave is smart then Dave is kind.
Harry is kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3 OR ((triple2 triple6) -> rule3))] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple3) -> rule1) OR ((((triple2 triple6) -> rule3)) -> rule1))] Dave is smart.[(triple6)] Harry is cold.[(triple7)] Harry is red.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)]