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