Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is smart. Gary is furry. Gary is quiet. Gary is red. Gary is smart. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. All kind, furry things are quiet. Kind things are furry. Furry, blue things are cold. Smart things are kind. If something is blue and furry then it is kind. All kind, cold things are smart. All furry, smart things are kind. If something is furry then it is blue.
Anne is red.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule8) OR ((((triple4) -> rule2)) -> rule8) OR ((((((triple7) -> rule4)) -> rule2)) -> rule8))] Anne is cold.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple3) -> rule8)) -> rule3) OR ((((triple4) -> rule2) triple1) -> rule3) OR ((((triple4) -> rule2) ((triple3) -> rule8)) -> rule3) OR ((triple3 ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) triple1) -> rule3) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((triple3) -> rule8)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((triple3 ((((((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple4) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule3))] Anne is furry.[(triple3 OR ((triple4) -> rule2) OR ((((triple7) -> rule4)) -> rule2))] Anne is kind.[(triple4 OR ((triple7) -> rule4) OR ((triple1 triple3) -> rule5) OR ((triple3 triple7) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule5))] Anne is quiet.[(triple5 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1) OR ((((triple7) -> rule4) triple3) -> rule1) OR ((((triple1 triple3) -> rule5) triple3) -> rule1) OR ((((triple3 triple7) -> rule7) triple3) -> rule1) OR ((((triple7) -> rule4) ((triple4) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule5) ((triple4) -> rule2)) -> rule1) OR ((((triple3 triple7) -> rule7) ((triple4) -> rule2)) -> rule1) OR ((triple4 ((((triple7) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule8) triple3) -> rule5) triple3) -> rule1) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule5) ((((triple7) -> rule4)) -> rule2)) -> rule1) OR ((((triple3 triple7) -> rule7) ((((triple7) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule8) triple3) -> rule5) ((triple4) -> rule2)) -> rule1) OR ((((((triple3) -> rule8) triple3) -> rule5) ((((triple7) -> rule4)) -> rule2)) -> rule1))] Anne is red.[(triple6)] Anne is smart.[(triple7 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple3 triple1) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule5) triple2) -> rule6) OR ((((triple1 triple3) -> rule5) ((triple3 triple1) -> rule3)) -> rule6) OR ((triple4 ((triple3 ((triple3) -> rule8)) -> rule3)) -> rule6) OR ((triple4 ((((triple4) -> rule2) triple1) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule5) triple2) -> rule6) OR ((triple4 ((((triple4) -> rule2) ((triple3) -> rule8)) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule5) ((triple3 ((triple3) -> rule8)) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule5) ((((triple4) -> rule2) triple1) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule5) ((triple3 triple1) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule5) ((((triple4) -> rule2) ((triple3) -> rule8)) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule5) ((triple3 ((triple3) -> rule8)) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule5) ((((triple4) -> rule2) triple1) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule5) ((((triple4) -> rule2) ((triple3) -> rule8)) -> rule3)) -> rule6) OR ((triple4 ((triple3 ((((triple4) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((triple4 ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule5) ((triple3 ((((triple4) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule5) ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule5) ((triple3 ((((triple4) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule5) ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule8)) -> rule3)) -> rule6))] Gary is furry.[(triple8 OR ((((triple11) -> rule4)) -> rule2))] Gary is quiet.[(triple9 OR ((((triple11) -> rule4) triple8) -> rule1) OR ((((triple8 triple11) -> rule7) triple8) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule5) triple8) -> rule1) OR ((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule2)) -> rule1) OR ((((triple8 triple11) -> rule7) ((((triple11) -> rule4)) -> rule2)) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule1))] Gary is red.[(triple10)] Gary is smart.[(triple11 OR ((((((triple8) -> rule8) triple8) -> rule5) ((triple8 ((triple8) -> rule8)) -> rule3)) -> rule6))] Harry is cold.[(triple12 OR ((triple13 ((triple13) -> rule8)) -> rule3) OR ((((triple14) -> rule2) ((triple13) -> rule8)) -> rule3) OR ((triple13 ((((triple14) -> rule2)) -> rule8)) -> rule3) OR ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule8)) -> rule3))] Harry is furry.[(triple13 OR ((triple14) -> rule2))] Harry is kind.[(triple14 OR ((((triple13) -> rule8) triple13) -> rule5))] Harry is quiet.[(triple15 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple14) -> rule2)) -> rule1) OR ((((((triple13) -> rule8) triple13) -> rule5) triple13) -> rule1) OR ((((((triple13) -> rule8) triple13) -> rule5) ((triple14) -> rule2)) -> rule1))] @1: Gary is blue.[(((triple8) -> rule8) OR ((((((triple11) -> rule4)) -> rule2)) -> rule8))] Gary is kind.[(((triple11) -> rule4) OR ((triple8 triple11) -> rule7) OR ((((triple8) -> rule8) triple8) -> rule5))] Harry is blue.[(((triple13) -> rule8) OR ((((triple14) -> rule2)) -> rule8))] Harry is smart.[(((triple14 triple12) -> rule6) OR ((triple14 ((triple13 ((triple13) -> rule8)) -> rule3)) -> rule6) OR ((((((triple13) -> rule8) triple13) -> rule5) triple12) -> rule6) OR ((triple14 ((((triple14) -> rule2) ((triple13) -> rule8)) -> rule3)) -> rule6) OR ((((((triple13) -> rule8) triple13) -> rule5) ((triple13 ((triple13) -> rule8)) -> rule3)) -> rule6) OR ((((((triple13) -> rule8) triple13) -> rule5) ((((triple14) -> rule2) ((triple13) -> rule8)) -> rule3)) -> rule6) OR ((triple14 ((triple13 ((((triple14) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((triple14 ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((((((triple13) -> rule8) triple13) -> rule5) ((triple13 ((((triple14) -> rule2)) -> rule8)) -> rule3)) -> rule6) OR ((((((triple13) -> rule8) triple13) -> rule5) ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule8)) -> rule3)) -> rule6))] @2: Gary is cold.[(((triple8 ((triple8) -> rule8)) -> rule3) OR ((((((triple11) -> rule4)) -> rule2) ((triple8) -> rule8)) -> rule3) OR ((triple8 ((((((triple11) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple11) -> rule4)) -> rule2) ((((((triple11) -> rule4)) -> rule2)) -> rule8)) -> rule3))]