Anne is cold. Anne is rough. Bob is not cold. Bob is not green. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Gary is not cold. Gary is furry. Gary is kind. Gary is smart. Gary is white. If someone is cold then they are smart. If someone is smart and cold then they are furry. If someone is white then they are furry. Kind people are green. If Anne is white then Anne is not furry. If Gary is smart then Gary is furry. If Gary is not rough then Gary is kind. Furry people are kind.
Charlie is rough.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Bob is not cold.[(triple3)] Bob is not green.[(triple4)] Charlie is furry.[(triple6 OR ((triple11) -> rule3))] Charlie is green.[(triple7 OR ((triple8) -> rule4) OR ((((triple6) -> rule8)) -> rule4) OR ((((((triple11) -> rule3)) -> rule8)) -> rule4))] Charlie is kind.[(triple8 OR ((triple6) -> rule8) OR ((((triple11) -> rule3)) -> rule8))] Charlie is not cold.[(triple5)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Gary is furry.[(triple13 OR ((triple15) -> rule6) OR ((triple16) -> rule3))] Gary is kind.[(triple14 OR ((triple13) -> rule8) OR ((((triple15) -> rule6)) -> rule8) OR ((((triple16) -> rule3)) -> rule8))] Gary is not cold.[(triple12)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Anne is smart.[(((triple1) -> rule1))] Gary is green.[(((triple14) -> rule4) OR ((((triple13) -> rule8)) -> rule4) OR ((((((triple15) -> rule6)) -> rule8)) -> rule4) OR ((((((triple16) -> rule3)) -> rule8)) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule1) triple1) -> rule2))] @3: Anne is kind.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule8))] @4: Anne is green.[(((((((((triple1) -> rule1) triple1) -> rule2)) -> rule8)) -> rule4))]