Bob is young. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Erin is red. Erin is smart. Erin is young. Gary is cold. Gary is young. Cold people are white. All young people are green. All cold people are smart. If Charlie is green and Charlie is smart then Charlie is cold. If someone is green and young then they are white. If Gary is white and Gary is green then Gary is cold. All red, green people are white. If Gary is red and Gary is cold then Gary is smart.
Bob is not smart.
@0: Bob is young.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((((triple5) -> rule2) triple5) -> rule5) OR ((((((triple5) -> rule2) triple3) -> rule4)) -> rule1))] Charlie is young.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Gary is cold.[(triple9 OR ((((((triple10) -> rule2) triple10) -> rule5) ((triple10) -> rule2)) -> rule6))] Gary is young.[(triple10)] @1: Bob is green.[(((triple1) -> rule2))] Charlie is green.[(((triple5) -> rule2))] Erin is green.[(((triple8) -> rule2))] Gary is green.[(((triple10) -> rule2))] Gary is smart.[(((triple9) -> rule3) OR ((((((((triple10) -> rule2) triple10) -> rule5) ((triple10) -> rule2)) -> rule6)) -> rule3))] Gary is white.[(((triple9) -> rule1) OR ((((triple10) -> rule2) triple10) -> rule5))] @2: Bob is white.[(((((triple1) -> rule2) triple1) -> rule5))] Charlie is cold.[(((((triple5) -> rule2) triple3) -> rule4))] Erin is white.[(((triple6 ((triple8) -> rule2)) -> rule7) OR ((((triple8) -> rule2) triple8) -> rule5))]