Charlie is furry. Charlie is nice. Charlie is white. Dave is furry. Dave is nice. Dave is red. Dave is rough. Dave is white. Erin is furry. Erin is nice. Erin is white. Gary is blue. Gary is furry. Gary is nice. Gary is rough. Gary is smart. If Charlie is nice then Charlie is smart. All white people are furry. All red people are furry. If someone is smart then they are blue. All blue people are white. All furry people are nice.
Erin is not blue.
@0: Charlie is furry.[(triple1 OR ((triple3) -> rule2) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule5)) -> rule2))] Charlie is nice.[(triple2 OR ((triple1) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] Charlie is white.[(triple3 OR ((((((triple2) -> rule1)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule1)) -> rule4)) -> rule5))] Dave is furry.[(triple4 OR ((triple6) -> rule3) OR ((triple8) -> rule2))] Dave is nice.[(triple5 OR ((triple4) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple8) -> rule2)) -> rule6))] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Erin is furry.[(triple9 OR ((triple11) -> rule2))] Erin is nice.[(triple10 OR ((triple9) -> rule6) OR ((((triple11) -> rule2)) -> rule6))] Erin is white.[(triple11)] Gary is blue.[(triple12 OR ((triple16) -> rule4))] Gary is furry.[(triple13 OR ((((triple12) -> rule5)) -> rule2) OR ((((((triple16) -> rule4)) -> rule5)) -> rule2))] Gary is nice.[(triple14 OR ((triple13) -> rule6) OR ((((((triple12) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple16) -> rule4)) -> rule5)) -> rule2)) -> rule6))] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Charlie is smart.[(((triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule2)) -> rule6)) -> rule1))] Gary is white.[(((triple12) -> rule5) OR ((((triple16) -> rule4)) -> rule5))] @2: Charlie is blue.[(((((triple2) -> rule1)) -> rule4) OR ((((((triple1) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule2)) -> rule6)) -> rule1)) -> rule4))]