Bob is cold. Bob is kind. Bob is nice. Charlie is green. Charlie is kind. Charlie is nice. Erin is cold. Erin is nice. Erin is rough. Gary is green. Kind, blue people are young. If someone is green then they are blue. If someone is young and kind then they are rough. If someone is green and young then they are cold. Green people are cold. All rough people are kind. If Charlie is rough then Charlie is green. All young people are nice.
Charlie is kind.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6 OR ((((triple5 ((triple4) -> rule2)) -> rule1)) -> rule8))] Erin is cold.[(triple7)] Erin is nice.[(triple8)] Erin is rough.[(triple9)] Gary is green.[(triple10)] @1: Charlie is blue.[(((triple4) -> rule2))] Charlie is cold.[(((triple4) -> rule5) OR ((triple4 ((triple5 ((triple4) -> rule2)) -> rule1)) -> rule4))] Erin is kind.[(((triple9) -> rule6))] Gary is blue.[(((triple10) -> rule2))] Gary is cold.[(((triple10) -> rule5))] @2: Charlie is young.[(((triple5 ((triple4) -> rule2)) -> rule1))] @3: Charlie is rough.[(((((triple5 ((triple4) -> rule2)) -> rule1) triple5) -> rule3))]