Anne is kind. Anne is round. Bob is big. Bob is blue. Bob is nice. Bob is rough. Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is rough. Dave is round. If something is nice and round then it is quiet. Blue, round things are rough.
Dave is blue.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Bob is big.[(triple3)] Bob is blue.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Dave is rough.[(triple11 OR ((triple8 triple12) -> rule2))] Dave is round.[(triple12)] @1: Dave is quiet.[(((triple10 triple12) -> rule1))]