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