Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Nice things are round. Cold things are red. If Charlie is quiet then Charlie is cold. Red things are white. Quiet, nice things are round. All nice, red things are white. If something is round then it is red. Round, white things are smart.
Charlie is not cold.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule3))] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple1) -> rule2) OR ((triple5) -> rule7) OR ((((triple2) -> rule1)) -> rule7) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple3 triple2) -> rule5)) -> rule7))] Charlie is round.[(triple5 OR ((triple2) -> rule1) OR ((triple3 triple2) -> rule5))] Charlie is smart.[(triple6 OR ((triple5 triple7) -> rule8) OR ((triple5 ((triple4) -> rule4)) -> rule8) OR ((triple5 ((triple2 triple4) -> rule6)) -> rule8) OR ((((triple2) -> rule1) triple7) -> rule8) OR ((((triple3 triple2) -> rule5) triple7) -> rule8) OR ((((triple2) -> rule1) ((triple4) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 triple4) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 triple4) -> rule6)) -> rule8) OR ((triple5 ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((triple5 ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8))] Charlie is white.[(triple7 OR ((triple4) -> rule4) OR ((triple2 triple4) -> rule6) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((triple2 ((triple5) -> rule7)) -> rule6) OR ((((((triple2) -> rule1)) -> rule7)) -> rule4) OR ((((((triple3) -> rule3)) -> rule2)) -> rule4) OR ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4) OR ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6))]