Bob is blue. Bob is red. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Dave is cold. Dave is kind. Dave is red. Harry is red. If Bob is blue then Bob is cold. If something is blue and red then it is furry. Kind things are furry. If Dave is red and Dave is kind then Dave is cold. If something is kind then it is blue. Red things are cold. If something is blue then it is red. Cold, red things are kind.
Harry is nice.
@0: Bob is blue.[(triple1 OR ((((((triple2) -> rule6) triple2) -> rule8)) -> rule5))] Bob is red.[(triple2 OR ((triple1) -> rule7))] Charlie is blue.[(triple3 OR ((((triple4 triple6) -> rule8)) -> rule5) OR ((((((triple6) -> rule6) triple6) -> rule8)) -> rule5))] Charlie is cold.[(triple4 OR ((triple6) -> rule6) OR ((((triple3) -> rule7)) -> rule6))] Charlie is furry.[(triple5 OR ((triple3 triple6) -> rule2) OR ((((triple4 triple6) -> rule8)) -> rule3) OR ((triple3 ((triple3) -> rule7)) -> rule2) OR ((((triple4 ((triple3) -> rule7)) -> rule8)) -> rule3) OR ((((((triple6) -> rule6) triple6) -> rule8)) -> rule3) OR ((((((triple4 triple6) -> rule8)) -> rule5) triple6) -> rule2) OR ((((((triple6) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule3) OR ((((((triple4 triple6) -> rule8)) -> rule5) ((triple3) -> rule7)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6) triple6) -> rule8)) -> rule3) OR ((((((((triple6) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple6) -> rule6) triple6) -> rule8)) -> rule5) ((triple3) -> rule7)) -> rule2))] Charlie is red.[(triple6 OR ((triple3) -> rule7))] Dave is cold.[(triple7 OR ((triple9) -> rule6) OR ((triple9 triple8) -> rule4) OR ((((((triple8) -> rule5)) -> rule7)) -> rule6) OR ((((((triple8) -> rule5)) -> rule7) triple8) -> rule4))] Dave is kind.[(triple8 OR ((triple7 triple9) -> rule8) OR ((((triple9) -> rule6) triple9) -> rule8))] Dave is red.[(triple9 OR ((((triple8) -> rule5)) -> rule7))] Harry is red.[(triple10)] @1: Bob is cold.[(((triple1) -> rule1) OR ((triple2) -> rule6) OR ((((triple1) -> rule7)) -> rule6))] Bob is furry.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple1) -> rule7)) -> rule2) OR ((((((triple1) -> rule1) triple2) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) triple2) -> rule8)) -> rule3) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((triple1) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule7)) -> rule6) triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule2) OR ((((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple2) -> rule6) triple2) -> rule8)) -> rule5) ((triple1) -> rule7)) -> rule2))] Charlie is kind.[(((triple4 triple6) -> rule8) OR ((triple4 ((triple3) -> rule7)) -> rule8) OR ((((triple6) -> rule6) triple6) -> rule8) OR ((((triple6) -> rule6) ((triple3) -> rule7)) -> rule8) OR ((((((triple3) -> rule7)) -> rule6) triple6) -> rule8) OR ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8))] Dave is blue.[(((triple8) -> rule5) OR ((((triple7 triple9) -> rule8)) -> rule5) OR ((((((triple9) -> rule6) triple9) -> rule8)) -> rule5))] Dave is furry.[(((triple8) -> rule3) OR ((((triple7 triple9) -> rule8)) -> rule3) OR ((((triple8) -> rule5) triple9) -> rule2) OR ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3) OR ((((((triple7 triple9) -> rule8)) -> rule5) triple9) -> rule2) OR ((((triple8) -> rule5) ((((triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 triple9) -> rule8)) -> rule5) ((((triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple9) -> rule6) triple9) -> rule8)) -> rule5) triple9) -> rule2) OR ((((((((triple9) -> rule6) triple9) -> rule8)) -> rule5) ((((triple8) -> rule5)) -> rule7)) -> rule2))] Harry is cold.[(((triple10) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule1) triple2) -> rule8) OR ((((triple2) -> rule6) triple2) -> rule8) OR ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule8) OR ((((triple2) -> rule6) ((triple1) -> rule7)) -> rule8) OR ((((((triple1) -> rule7)) -> rule6) triple2) -> rule8) OR ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule7)) -> rule8))] Harry is kind.[(((((triple10) -> rule6) triple10) -> rule8))] @3: Harry is blue.[(((((((triple10) -> rule6) triple10) -> rule8)) -> rule5))] Harry is furry.[(((((((triple10) -> rule6) triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule6) triple10) -> rule8)) -> rule5) triple10) -> rule2))]