Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is not rough. Bob is round. Bob is white. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is white. If Gary is big then Gary is nice. All kind people are big. If someone is kind and not white then they are big. White people are round. If someone is round and not kind then they are nice. If someone is kind and not big then they are green.
Gary is rough.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not rough.[(triple5)] Bob is round.[(triple6 OR ((triple7) -> rule4))] Bob is white.[(triple7)] Gary is big.[(triple8 OR ((triple10) -> rule2))] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11 OR ((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Gary is rough.[(triple12)] Gary is round.[(triple13 OR ((triple14) -> rule4))] Gary is white.[(triple14)]