Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is young. Smart, kind things are nice. Red things are smart. If Harry is kind then Harry is smart. If Harry is furry and Harry is nice then Harry is cold. If something is red and kind then it is smart. All kind, smart things are red. All smart, kind things are nice. Smart things are kind.
Harry is not furry.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple6) -> rule8) OR ((((triple5) -> rule2)) -> rule8))] Charlie is nice.[(triple4 OR ((triple6 triple3) -> rule1) OR ((triple6 triple3) -> rule7) OR ((triple6 ((triple6) -> rule8)) -> rule1) OR ((triple6 ((triple6) -> rule8)) -> rule7) OR ((((triple5) -> rule2) triple3) -> rule1) OR ((((triple5) -> rule2) triple3) -> rule7) OR ((((triple5 triple3) -> rule5) triple3) -> rule1) OR ((((triple5 triple3) -> rule5) triple3) -> rule7) OR ((((triple5) -> rule2) ((triple6) -> rule8)) -> rule1) OR ((((triple5) -> rule2) ((triple6) -> rule8)) -> rule7) OR ((((triple5 triple3) -> rule5) ((triple6) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((triple6) -> rule8)) -> rule7) OR ((triple6 ((((triple5) -> rule2)) -> rule8)) -> rule1) OR ((triple6 ((((triple5) -> rule2)) -> rule8)) -> rule7) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule8)) -> rule1) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule8)) -> rule7) OR ((((triple5 triple3) -> rule5) ((((triple5) -> rule2)) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((((triple5) -> rule2)) -> rule8)) -> rule7))] Charlie is red.[(triple5 OR ((triple3 triple6) -> rule6) OR ((((triple6) -> rule8) triple6) -> rule6))] Charlie is smart.[(triple6 OR ((triple5) -> rule2) OR ((triple5 triple3) -> rule5))] Charlie is young.[(triple7)] Harry is cold.[(triple8 OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple13 triple10) -> rule1)) -> rule4) OR ((triple9 ((triple13 triple10) -> rule7)) -> rule4) OR ((triple9 ((triple13 ((triple13) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((triple13 ((triple13) -> rule8)) -> rule7)) -> rule4) OR ((triple9 ((((triple10) -> rule3) triple10) -> rule1)) -> rule4) OR ((triple9 ((((triple10) -> rule3) triple10) -> rule7)) -> rule4) OR ((triple9 ((((triple12) -> rule2) triple10) -> rule1)) -> rule4) OR ((triple9 ((((triple12) -> rule2) triple10) -> rule7)) -> rule4) OR ((triple9 ((((triple12 triple10) -> rule5) triple10) -> rule1)) -> rule4) OR ((triple9 ((((triple12 triple10) -> rule5) triple10) -> rule7)) -> rule4) OR ((triple9 ((((triple10) -> rule3) ((triple13) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((((triple10) -> rule3) ((triple13) -> rule8)) -> rule7)) -> rule4) OR ((triple9 ((((triple12) -> rule2) ((triple13) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((((triple12) -> rule2) ((triple13) -> rule8)) -> rule7)) -> rule4) OR ((triple9 ((((triple12 triple10) -> rule5) ((triple13) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((((triple12 triple10) -> rule5) ((triple13) -> rule8)) -> rule7)) -> rule4) OR ((triple9 ((triple13 ((((triple12) -> rule2)) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((triple13 ((((triple12) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((triple9 ((((triple10) -> rule3) ((((triple12) -> rule2)) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((((triple10) -> rule3) ((((triple12) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((triple9 ((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((triple9 ((((triple12 triple10) -> rule5) ((((triple12) -> rule2)) -> rule8)) -> rule1)) -> rule4) OR ((triple9 ((((triple12 triple10) -> rule5) ((((triple12) -> rule2)) -> rule8)) -> rule7)) -> rule4))] Harry is furry.[(triple9)] Harry is kind.[(triple10 OR ((triple13) -> rule8) OR ((((triple12) -> rule2)) -> rule8))] Harry is nice.[(triple11 OR ((triple13 triple10) -> rule1) OR ((triple13 triple10) -> rule7) OR ((triple13 ((triple13) -> rule8)) -> rule1) OR ((triple13 ((triple13) -> rule8)) -> rule7) OR ((((triple10) -> rule3) triple10) -> rule1) OR ((((triple10) -> rule3) triple10) -> rule7) OR ((((triple12) -> rule2) triple10) -> rule1) OR ((((triple12) -> rule2) triple10) -> rule7) OR ((((triple12 triple10) -> rule5) triple10) -> rule1) OR ((((triple12 triple10) -> rule5) triple10) -> rule7) OR ((((triple10) -> rule3) ((triple13) -> rule8)) -> rule1) OR ((((triple10) -> rule3) ((triple13) -> rule8)) -> rule7) OR ((((triple12) -> rule2) ((triple13) -> rule8)) -> rule1) OR ((((triple12) -> rule2) ((triple13) -> rule8)) -> rule7) OR ((((triple12 triple10) -> rule5) ((triple13) -> rule8)) -> rule1) OR ((((triple12 triple10) -> rule5) ((triple13) -> rule8)) -> rule7) OR ((triple13 ((((triple12) -> rule2)) -> rule8)) -> rule1) OR ((triple13 ((((triple12) -> rule2)) -> rule8)) -> rule7) OR ((((triple10) -> rule3) ((((triple12) -> rule2)) -> rule8)) -> rule1) OR ((((triple10) -> rule3) ((((triple12) -> rule2)) -> rule8)) -> rule7) OR ((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule8)) -> rule1) OR ((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule8)) -> rule7) OR ((((triple12 triple10) -> rule5) ((((triple12) -> rule2)) -> rule8)) -> rule1) OR ((((triple12 triple10) -> rule5) ((((triple12) -> rule2)) -> rule8)) -> rule7))] Harry is red.[(triple12 OR ((triple10 triple13) -> rule6) OR ((triple10 ((triple10) -> rule3)) -> rule6) OR ((((triple13) -> rule8) triple13) -> rule6) OR ((((triple13) -> rule8) ((triple10) -> rule3)) -> rule6))] Harry is smart.[(triple13 OR ((triple10) -> rule3) OR ((triple12) -> rule2) OR ((triple12 triple10) -> rule5))] Harry is young.[(triple14)]