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