Bob is big. Bob is white. Bob is young. Erin is rough. Gary is big. Gary is not cold. Gary is not green. Gary is nice. Gary is rough. Gary is young. Harry is big. Harry is not cold. Harry is rough. Harry is white. Harry is young. Green people are white. Nice people are white. All green people are not nice. If someone is green and nice then they are rough. If someone is nice and not green then they are rough. All big, green people are not rough. All cold people are not big. If Gary is not young and Gary is not nice then Gary is white.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Erin is rough.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple8)] Gary is not cold.[(triple6)] Gary is not green.[(triple7)] Gary is rough.[(triple9 OR ((triple8 triple7) -> rule5))] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is not cold.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Gary is white.[(((triple8) -> rule2))]