Anne is big. Anne is quiet. Anne is rough. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is rough. Bob is round. Dave is furry. Dave is quiet. Harry is big. Harry is blue. Harry is quiet. If Dave is cold and Dave is not blue then Dave is round. If Bob is big then Bob is rough. All furry, blue things are cold.
Dave is rough.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6 OR ((triple7 triple5) -> rule3))] Bob is furry.[(triple7)] Bob is quiet.[(triple8)] Bob is rough.[(triple9 OR ((triple4) -> rule2))] Bob is round.[(triple10)] Dave is furry.[(triple11)] Dave is quiet.[(triple12)] Harry is big.[(triple13)] Harry is blue.[(triple14)] Harry is quiet.[(triple15)]