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