Bob is big. Bob is furry. Bob is not green. Bob is rough. Dave is blue. Dave is quiet. Dave is red. Dave is rough. Fiona is not big. Fiona is green. Fiona is rough. Gary is big. Gary is quiet. Gary is red. Gary is rough. If someone is quiet and not big then they are rough. All big people are rough. Green, furry people are quiet. If someone is blue and not big then they are red. All rough people are red. If Bob is rough and Bob is not furry then Bob is not green.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is not green.[(triple3)] Bob is rough.[(triple4 OR ((triple1) -> rule2))] Dave is blue.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7 OR ((triple8) -> rule5))] Dave is rough.[(triple8)] Fiona is green.[(triple10)] Fiona is not big.[(triple9)] Fiona is rough.[(triple11)] Gary is big.[(triple12)] Gary is quiet.[(triple13)] Gary is red.[(triple14 OR ((triple15) -> rule5) OR ((((triple12) -> rule2)) -> rule5))] Gary is rough.[(triple15 OR ((triple12) -> rule2))] @1: Bob is red.[(((triple4) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] Fiona is red.[(((triple11) -> rule5))]