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