Bob is cold. Bob is kind. Bob is smart. Bob is white. Bob is young. Charlie is green. Charlie is kind. Charlie is young. Dave is cold. Dave is kind. Dave is smart. Dave is white. Dave is young. Erin is blue. Erin is smart. Erin is young. If Bob is smart then Bob is white. All young, blue people are green.
Charlie is white.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule1))] Bob is young.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is young.[(triple8)] Dave is cold.[(triple9)] Dave is kind.[(triple10)] Dave is smart.[(triple11)] Dave is white.[(triple12)] Dave is young.[(triple13)] Erin is blue.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Erin is green.[(((triple16 triple14) -> rule2))]