Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is white. Charlie is cold. Charlie is furry. Charlie is kind. Harry is blue. All kind, blue people are big. All blue, furry people are rough. All big people are rough. If someone is blue then they are kind. All cold, kind people are blue. If someone is cold then they are furry.
Charlie is not rough.
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple3 triple5) -> rule5)) -> rule1) OR ((((triple2) -> rule4) triple2) -> rule1) OR ((((triple2) -> rule4) ((triple3 triple5) -> rule5)) -> rule1))] Anne is blue.[(triple2 OR ((triple3 triple5) -> rule5))] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple3) -> rule6))] Anne is kind.[(triple5 OR ((triple2) -> rule4))] Anne is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8 OR ((triple7) -> rule6))] Charlie is kind.[(triple9)] Harry is blue.[(triple10)] @1: Anne is rough.[(((triple1) -> rule3) OR ((triple2 triple4) -> rule2) OR ((((triple5 triple2) -> rule1)) -> rule3) OR ((triple2 ((triple3) -> rule6)) -> rule2) OR ((((triple3 triple5) -> rule5) triple4) -> rule2) OR ((((triple3 triple5) -> rule5) ((triple3) -> rule6)) -> rule2) OR ((((triple5 ((triple3 triple5) -> rule5)) -> rule1)) -> rule3) OR ((((((triple2) -> rule4) triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule4) ((triple3 triple5) -> rule5)) -> rule1)) -> rule3))] Charlie is blue.[(((triple7 triple9) -> rule5))] Harry is kind.[(((triple10) -> rule4))] @2: Charlie is big.[(((triple9 ((triple7 triple9) -> rule5)) -> rule1))] Charlie is rough.[(((((triple7 triple9) -> rule5) triple8) -> rule2) OR ((((triple7 triple9) -> rule5) ((triple7) -> rule6)) -> rule2) OR ((((triple9 ((triple7 triple9) -> rule5)) -> rule1)) -> rule3))] Harry is big.[(((((triple10) -> rule4) triple10) -> rule1))] @3: Harry is rough.[(((((((triple10) -> rule4) triple10) -> rule1)) -> rule3))]