Bob is quiet. Dave is big. Dave is green. Dave is quiet. Dave is rough. Fiona is big. Fiona is green. Fiona is smart. Fiona is white. Harry is green. Harry is kind. Harry is smart. If Dave is white and Dave is smart then Dave is rough. All big things are rough. All smart, kind things are green.
Bob is not rough.
@0: Bob is quiet.[(triple1)] Dave is big.[(triple2)] Dave is green.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple2) -> rule2))] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Harry is green.[(triple10 OR ((triple12 triple11) -> rule3))] Harry is kind.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is rough.[(((triple6) -> rule2))]