Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is young. Charlie is nice. Charlie is red. Charlie is white. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is white. Gary is young. Big, blue people are nice. If Bob is nice then Bob is red.
Charlie is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple1 triple2) -> rule1))] Bob is red.[(triple5 OR ((triple4) -> rule2) OR ((((triple1 triple2) -> rule1)) -> rule2))] Bob is young.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Charlie is white.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13 OR ((triple10 triple11) -> rule1))] Gary is red.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)]