Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. If something is furry and big then it is cold. If Dave is cold then Dave is furry. Quiet, big things are kind. Green, quiet things are furry. If something is cold and furry then it is green. Big, green things are quiet. Quiet things are furry. If something is nice and kind then it is green.
Charlie is not nice.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple3 triple1) -> rule1) OR ((((triple7) -> rule7) triple1) -> rule1) OR ((((triple4 triple7) -> rule4) triple1) -> rule1) OR ((((((triple1 triple4) -> rule6)) -> rule7) triple1) -> rule1) OR ((((triple4 ((triple1 triple4) -> rule6)) -> rule4) triple1) -> rule1) OR ((((((triple6 triple5) -> rule8) triple7) -> rule4) triple1) -> rule1) OR ((((((triple6 triple5) -> rule8) ((triple1 triple4) -> rule6)) -> rule4) triple1) -> rule1) OR ((((((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule7) triple1) -> rule1) OR ((((triple4 ((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule4) triple1) -> rule1) OR ((((((triple6 ((triple7 triple1) -> rule3)) -> rule8) triple7) -> rule4) triple1) -> rule1) OR ((((((triple6 triple5) -> rule8) ((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule4) triple1) -> rule1) OR ((((((triple6 ((triple7 triple1) -> rule3)) -> rule8) ((triple1 triple4) -> rule6)) -> rule4) triple1) -> rule1) OR ((((((triple6 ((triple7 triple1) -> rule3)) -> rule8) ((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule4) triple1) -> rule1))] Charlie is furry.[(triple3 OR ((triple7) -> rule7) OR ((triple4 triple7) -> rule4) OR ((((triple1 triple4) -> rule6)) -> rule7) OR ((triple4 ((triple1 triple4) -> rule6)) -> rule4) OR ((((triple6 triple5) -> rule8) triple7) -> rule4) OR ((((triple6 triple5) -> rule8) ((triple1 triple4) -> rule6)) -> rule4) OR ((((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule7) OR ((triple4 ((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule4) OR ((((triple6 ((triple7 triple1) -> rule3)) -> rule8) triple7) -> rule4) OR ((((triple6 triple5) -> rule8) ((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule4) OR ((((triple6 ((triple7 triple1) -> rule3)) -> rule8) ((triple1 triple4) -> rule6)) -> rule4) OR ((((triple6 ((triple7 triple1) -> rule3)) -> rule8) ((triple1 ((triple6 triple5) -> rule8)) -> rule6)) -> rule4))] Charlie is green.[(triple4 OR ((triple2 triple3) -> rule5) OR ((triple6 triple5) -> rule8) OR ((triple2 ((triple7) -> rule7)) -> rule5) OR ((triple6 ((triple7 triple1) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule1) triple3) -> rule5) OR ((((triple3 triple1) -> rule1) ((triple7) -> rule7)) -> rule5) OR ((((((triple7) -> rule7) triple1) -> rule1) triple3) -> rule5) OR ((((((triple7) -> rule7) triple1) -> rule1) ((triple7) -> rule7)) -> rule5))] Charlie is kind.[(triple5 OR ((triple7 triple1) -> rule3) OR ((((triple1 triple4) -> rule6) triple1) -> rule3) OR ((((triple1 ((triple2 triple3) -> rule5)) -> rule6) triple1) -> rule3) OR ((((triple1 ((((triple3 triple1) -> rule1) triple3) -> rule5)) -> rule6) triple1) -> rule3))] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple2 triple3) -> rule5)) -> rule6) OR ((triple1 ((triple6 triple5) -> rule8)) -> rule6) OR ((triple1 ((((triple3 triple1) -> rule1) triple3) -> rule5)) -> rule6))] Dave is big.[(triple8)] Dave is cold.[(triple9 OR ((triple10 triple8) -> rule1) OR ((((triple14) -> rule7) triple8) -> rule1) OR ((((triple11 triple14) -> rule4) triple8) -> rule1) OR ((((((triple8 triple11) -> rule6)) -> rule7) triple8) -> rule1) OR ((((triple11 ((triple8 triple11) -> rule6)) -> rule4) triple8) -> rule1) OR ((((((triple13 triple12) -> rule8) triple14) -> rule4) triple8) -> rule1) OR ((((((triple13 triple12) -> rule8) ((triple8 triple11) -> rule6)) -> rule4) triple8) -> rule1) OR ((((((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule7) triple8) -> rule1) OR ((((triple11 ((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule4) triple8) -> rule1) OR ((((((triple13 ((triple14 triple8) -> rule3)) -> rule8) triple14) -> rule4) triple8) -> rule1) OR ((((((triple13 triple12) -> rule8) ((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule4) triple8) -> rule1) OR ((((((triple13 ((triple14 triple8) -> rule3)) -> rule8) ((triple8 triple11) -> rule6)) -> rule4) triple8) -> rule1) OR ((((((triple13 ((triple14 triple8) -> rule3)) -> rule8) ((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule4) triple8) -> rule1))] Dave is furry.[(triple10 OR ((triple14) -> rule7) OR ((triple9) -> rule2) OR ((triple11 triple14) -> rule4) OR ((((triple8 triple11) -> rule6)) -> rule7) OR ((triple11 ((triple8 triple11) -> rule6)) -> rule4) OR ((((triple13 triple12) -> rule8) triple14) -> rule4) OR ((((triple13 triple12) -> rule8) ((triple8 triple11) -> rule6)) -> rule4) OR ((((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule7) OR ((triple11 ((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule4) OR ((((triple13 ((triple14 triple8) -> rule3)) -> rule8) triple14) -> rule4) OR ((((triple13 triple12) -> rule8) ((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule4) OR ((((triple13 ((triple14 triple8) -> rule3)) -> rule8) ((triple8 triple11) -> rule6)) -> rule4) OR ((((triple13 ((triple14 triple8) -> rule3)) -> rule8) ((triple8 ((triple13 triple12) -> rule8)) -> rule6)) -> rule4))] Dave is green.[(triple11 OR ((triple13 triple12) -> rule8) OR ((triple9 triple10) -> rule5) OR ((triple13 ((triple14 triple8) -> rule3)) -> rule8) OR ((triple9 ((triple14) -> rule7)) -> rule5) OR ((triple9 ((triple9) -> rule2)) -> rule5) OR ((((triple10 triple8) -> rule1) triple10) -> rule5) OR ((((triple10 triple8) -> rule1) ((triple14) -> rule7)) -> rule5) OR ((((triple10 triple8) -> rule1) ((triple9) -> rule2)) -> rule5) OR ((((((triple14) -> rule7) triple8) -> rule1) triple10) -> rule5) OR ((((((triple14) -> rule7) triple8) -> rule1) ((triple14) -> rule7)) -> rule5) OR ((((((triple14) -> rule7) triple8) -> rule1) ((triple9) -> rule2)) -> rule5))] Dave is kind.[(triple12 OR ((triple14 triple8) -> rule3) OR ((((triple8 triple11) -> rule6) triple8) -> rule3) OR ((((triple8 ((triple9 triple10) -> rule5)) -> rule6) triple8) -> rule3) OR ((((triple8 ((triple9 ((triple9) -> rule2)) -> rule5)) -> rule6) triple8) -> rule3) OR ((((triple8 ((((triple10 triple8) -> rule1) triple10) -> rule5)) -> rule6) triple8) -> rule3) OR ((((triple8 ((((triple10 triple8) -> rule1) ((triple9) -> rule2)) -> rule5)) -> rule6) triple8) -> rule3))] Dave is nice.[(triple13)] Dave is quiet.[(triple14 OR ((triple8 triple11) -> rule6) OR ((triple8 ((triple13 triple12) -> rule8)) -> rule6) OR ((triple8 ((triple9 triple10) -> rule5)) -> rule6) OR ((triple8 ((triple9 ((triple9) -> rule2)) -> rule5)) -> rule6) OR ((triple8 ((((triple10 triple8) -> rule1) triple10) -> rule5)) -> rule6) OR ((triple8 ((((triple10 triple8) -> rule1) ((triple9) -> rule2)) -> rule5)) -> rule6))]