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