Bob is big. Bob is green. Bob is red. Bob is young. Erin is kind. Erin is rough. Gary is big. Gary is green. Gary is kind. Gary is not rough. If Bob is not rough then Bob is kind. If Erin is not rough and Erin is not big then Erin is kind. Rough people are cold. If someone is big and not kind then they are cold. If Erin is cold and Erin is young then Erin is not green. All cold people are young. If Bob is not cold then Bob is green. If someone is green and not rough then they are red.
Erin is red.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is young.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not rough.[(triple10)] @1: Erin is cold.[(((triple6) -> rule3))] Gary is red.[(((triple8 triple10) -> rule8))] @2: Erin is young.[(((((triple6) -> rule3)) -> rule6))] @3: Erin is not green.[(((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule6)) -> rule5))]