Bob is big. Bob is cold. Bob is nice. Bob is rough. Erin is kind. Erin is red. Fiona is big. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is young. Gary is kind. Gary is nice. Gary is red. Gary is young. All young, red people are rough. All red people are cold. Kind people are rough.
Gary is not kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Fiona is young.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is young.[(triple15)] @1: Erin is cold.[(((triple6) -> rule2))] Erin is rough.[(((triple5) -> rule3))] Gary is cold.[(((triple14) -> rule2))] Gary is rough.[(((triple12) -> rule3) OR ((triple15 triple14) -> rule1))]