Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is smart. Harry is white. Harry is young. All quiet, cold people are smart. If Charlie is young and Charlie is quiet then Charlie is smart. If someone is cold and smart then they are kind. Blue people are young. All smart, young people are cold. Cold, blue people are young.
Charlie is not kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple5 triple7) -> rule5) OR ((triple5 ((triple1) -> rule4)) -> rule5) OR ((((triple7 triple4) -> rule2) triple7) -> rule5) OR ((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) OR ((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5))] Charlie is kind.[(triple3 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple4 triple2) -> rule1)) -> rule3) OR ((triple2 ((triple7 triple4) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule5) triple5) -> rule3) OR ((((triple5 triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((triple5 triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((triple2 ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((triple2 ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) triple5) -> rule3) OR ((((triple5 triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) triple5) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3))] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((triple4 triple2) -> rule1) OR ((triple7 triple4) -> rule2) OR ((((triple1) -> rule4) triple4) -> rule2) OR ((((triple2 triple1) -> rule6) triple4) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple1) -> rule4) OR ((triple2 triple1) -> rule6))] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple12 triple14) -> rule5) OR ((triple12 ((triple8) -> rule4)) -> rule5))] Harry is kind.[(triple10 OR ((triple9 triple12) -> rule3) OR ((triple9 ((triple11 triple9) -> rule1)) -> rule3) OR ((((triple12 triple14) -> rule5) triple12) -> rule3) OR ((((triple12 triple14) -> rule5) ((triple11 triple9) -> rule1)) -> rule3) OR ((((triple12 ((triple8) -> rule4)) -> rule5) triple12) -> rule3) OR ((((triple12 ((triple8) -> rule4)) -> rule5) ((triple11 triple9) -> rule1)) -> rule3))] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple9) -> rule1))] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple8) -> rule4) OR ((triple9 triple8) -> rule6))]