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