Charlie is blue. Charlie is kind. Charlie is quiet. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is young. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is round. If someone is blue and round then they are kind. Quiet people are furry. All blue, red people are quiet. All kind, furry people are young. If Dave is blue and Dave is furry then Dave is kind. If Harry is young and Harry is quiet then Harry is red. Young, red people are blue. Furry people are quiet.
Dave is red.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Dave is blue.[(triple4 OR ((triple9 triple7) -> rule7) OR ((((triple6 triple5) -> rule4) triple7) -> rule7))] Dave is furry.[(triple5 OR ((((triple4 triple7) -> rule3)) -> rule2) OR ((((((triple9 triple7) -> rule7) triple7) -> rule3)) -> rule2))] Dave is kind.[(triple6 OR ((triple4 triple5) -> rule5) OR ((triple4 triple8) -> rule1) OR ((((triple9 triple7) -> rule7) triple5) -> rule5) OR ((((triple9 triple7) -> rule7) triple8) -> rule1) OR ((triple4 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) OR ((((triple9 triple7) -> rule7) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) OR ((triple4 ((((((triple9 triple7) -> rule7) triple7) -> rule3)) -> rule2)) -> rule5) OR ((((triple9 triple7) -> rule7) ((((((triple9 triple7) -> rule7) triple7) -> rule3)) -> rule2)) -> rule5))] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9 OR ((triple6 triple5) -> rule4) OR ((((triple4 triple5) -> rule5) triple5) -> rule4) OR ((((triple4 triple8) -> rule1) triple5) -> rule4) OR ((triple6 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple4 triple5) -> rule5) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple4 triple8) -> rule1) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple4 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) triple5) -> rule4) OR ((((triple4 ((((triple4 triple7) -> rule3)) -> rule2)) -> rule5) ((((triple4 triple7) -> rule3)) -> rule2)) -> rule4))] Harry is blue.[(triple10 OR ((((triple12 triple11) -> rule4) triple14) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) triple14) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 triple11) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 triple11) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 triple11) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 triple11) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 triple11) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) triple13) -> rule6)) -> rule7) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6)) -> rule7))] Harry is furry.[(triple11 OR ((triple13) -> rule2) OR ((((triple10 triple14) -> rule3)) -> rule2))] Harry is kind.[(triple12 OR ((triple10 triple15) -> rule1))] Harry is quiet.[(triple13 OR ((triple11) -> rule8) OR ((triple10 triple14) -> rule3) OR ((((((triple12 triple11) -> rule4) triple14) -> rule7) triple14) -> rule3))] Harry is red.[(triple14 OR ((((triple12 triple11) -> rule4) triple13) -> rule6) OR ((((triple12 triple11) -> rule4) ((triple11) -> rule8)) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) triple13) -> rule6) OR ((((((triple10 triple15) -> rule1) triple11) -> rule4) triple13) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6) OR ((((((triple10 triple15) -> rule1) triple11) -> rule4) ((triple11) -> rule8)) -> rule6) OR ((((((triple10 triple15) -> rule1) ((triple13) -> rule2)) -> rule4) triple13) -> rule6) OR ((((((triple10 triple15) -> rule1) ((triple13) -> rule2)) -> rule4) ((triple11) -> rule8)) -> rule6))] Harry is round.[(triple15)] @1: Charlie is furry.[(((triple3) -> rule2))] Dave is quiet.[(((triple5) -> rule8) OR ((triple4 triple7) -> rule3) OR ((((triple9 triple7) -> rule7) triple7) -> rule3) OR ((((((triple6 triple5) -> rule4) triple7) -> rule7) triple7) -> rule3))] Harry is young.[(((triple12 triple11) -> rule4) OR ((triple12 ((triple13) -> rule2)) -> rule4) OR ((((triple10 triple15) -> rule1) triple11) -> rule4) OR ((((triple10 triple15) -> rule1) ((triple13) -> rule2)) -> rule4) OR ((triple12 ((((triple10 triple14) -> rule3)) -> rule2)) -> rule4) OR ((((triple10 triple15) -> rule1) ((((triple10 triple14) -> rule3)) -> rule2)) -> rule4))] @2: Charlie is young.[(((triple2 ((triple3) -> rule2)) -> rule4))]