Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Gary is big. Gary is quiet. Gary is round. Quiet people are green. If someone is blue and big then they are green.
Dave is not kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple5) -> rule1) OR ((triple2 triple1) -> rule2))] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9 OR ((triple11) -> rule1) OR ((triple8 triple7) -> rule2))] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Dave is rough.[(triple12)] Dave is round.[(triple13)] Gary is big.[(triple14)] Gary is quiet.[(triple15)] Gary is round.[(triple16)] @1: Gary is green.[(((triple15) -> rule1))]