Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is smart. Dave is white. Dave is young. Cold, young things are smart. If something is white and green then it is young. All kind, green things are smart. All smart things are young. All green, young things are cold. All kind, furry things are green.
Dave is kind.
@0: Charlie is cold.[(triple1 OR ((triple3 triple7) -> rule5) OR ((triple3 ((triple5) -> rule4)) -> rule5) OR ((triple3 ((triple6 triple3) -> rule2)) -> rule5) OR ((((triple4 triple2) -> rule6) triple7) -> rule5) OR ((((triple4 triple2) -> rule6) ((triple5) -> rule4)) -> rule5) OR ((((triple4 triple2) -> rule6) ((triple6 triple3) -> rule2)) -> rule5) OR ((triple3 ((((triple4 triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple3 ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 triple2) -> rule6) ((((triple4 triple3) -> rule3)) -> rule4)) -> rule5) OR ((((triple4 triple2) -> rule6) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) OR ((triple3 ((((triple4 ((triple4 triple2) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((triple4 triple2) -> rule6) ((((triple4 ((triple4 triple2) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple4 triple2) -> rule6))] Charlie is kind.[(triple4)] Charlie is smart.[(triple5 OR ((triple1 triple7) -> rule1) OR ((triple4 triple3) -> rule3) OR ((triple1 ((triple6 triple3) -> rule2)) -> rule1) OR ((triple4 ((triple4 triple2) -> rule6)) -> rule3) OR ((((triple3 triple7) -> rule5) triple7) -> rule1) OR ((((triple3 triple7) -> rule5) ((triple6 triple3) -> rule2)) -> rule1) OR ((triple1 ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((triple6 triple3) -> rule2)) -> rule5) triple7) -> rule1) OR ((((((triple4 triple2) -> rule6) triple7) -> rule5) triple7) -> rule1) OR ((((triple3 triple7) -> rule5) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((triple6 triple3) -> rule2)) -> rule5) ((triple6 triple3) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple7) -> rule5) ((triple6 triple3) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) ((triple6 triple3) -> rule2)) -> rule5) triple7) -> rule1) OR ((((triple3 ((triple6 triple3) -> rule2)) -> rule5) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple7) -> rule5) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) ((triple6 triple3) -> rule2)) -> rule5) ((triple6 triple3) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) ((triple6 triple3) -> rule2)) -> rule5) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) triple7) -> rule1) OR ((((triple3 ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) ((triple6 triple3) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) triple7) -> rule1) OR ((((triple3 ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) ((triple6 triple3) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule5) ((triple6 ((triple4 triple2) -> rule6)) -> rule2)) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple5) -> rule4) OR ((triple6 triple3) -> rule2) OR ((((triple4 triple3) -> rule3)) -> rule4) OR ((triple6 ((triple4 triple2) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple2) -> rule6)) -> rule3)) -> rule4))] Dave is cold.[(triple8 OR ((triple10 triple14) -> rule5) OR ((triple10 ((triple12) -> rule4)) -> rule5) OR ((triple10 ((triple13 triple10) -> rule2)) -> rule5) OR ((((triple11 triple9) -> rule6) triple14) -> rule5) OR ((((triple11 triple9) -> rule6) ((triple12) -> rule4)) -> rule5) OR ((((triple11 triple9) -> rule6) ((triple13 triple10) -> rule2)) -> rule5) OR ((triple10 ((((triple11 triple10) -> rule3)) -> rule4)) -> rule5) OR ((triple10 ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) OR ((((triple11 triple9) -> rule6) ((((triple11 triple10) -> rule3)) -> rule4)) -> rule5) OR ((((triple11 triple9) -> rule6) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) OR ((triple10 ((((triple11 ((triple11 triple9) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((triple11 triple9) -> rule6) ((((triple11 ((triple11 triple9) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Dave is furry.[(triple9)] Dave is green.[(triple10 OR ((triple11 triple9) -> rule6))] Dave is kind.[(triple11)] Dave is smart.[(triple12 OR ((triple11 triple10) -> rule3) OR ((triple8 triple14) -> rule1) OR ((triple11 ((triple11 triple9) -> rule6)) -> rule3) OR ((triple8 ((triple13 triple10) -> rule2)) -> rule1) OR ((((triple10 triple14) -> rule5) triple14) -> rule1) OR ((((triple10 triple14) -> rule5) ((triple13 triple10) -> rule2)) -> rule1) OR ((triple8 ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple10 ((triple13 triple10) -> rule2)) -> rule5) triple14) -> rule1) OR ((((((triple11 triple9) -> rule6) triple14) -> rule5) triple14) -> rule1) OR ((((triple10 triple14) -> rule5) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple10 ((triple13 triple10) -> rule2)) -> rule5) ((triple13 triple10) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) triple14) -> rule5) ((triple13 triple10) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) ((triple13 triple10) -> rule2)) -> rule5) triple14) -> rule1) OR ((((triple10 ((triple13 triple10) -> rule2)) -> rule5) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) triple14) -> rule5) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) ((triple13 triple10) -> rule2)) -> rule5) ((triple13 triple10) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) ((triple13 triple10) -> rule2)) -> rule5) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple10 ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1) OR ((((triple10 ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) ((triple13 triple10) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) triple14) -> rule1) OR ((((triple10 ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) ((triple13 triple10) -> rule2)) -> rule1) OR ((((((triple11 triple9) -> rule6) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule5) ((triple13 ((triple11 triple9) -> rule6)) -> rule2)) -> rule1))] Dave is white.[(triple13)] Dave is young.[(triple14 OR ((triple12) -> rule4) OR ((triple13 triple10) -> rule2) OR ((((triple11 triple10) -> rule3)) -> rule4) OR ((triple13 ((triple11 triple9) -> rule6)) -> rule2) OR ((((triple11 ((triple11 triple9) -> rule6)) -> rule3)) -> rule4))]