Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. All white, smart people are green. If Charlie is kind then Charlie is white. If someone is cold and smart then they are red. If someone is smart and red then they are cold. If someone is white then they are cold. If Charlie is kind and Charlie is red then Charlie is cold. All green, kind people are red. If Charlie is green and Charlie is young then Charlie is white.
Charlie is cold.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule5) OR ((triple3 triple4) -> rule6) OR ((triple5 triple4) -> rule4) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple2 triple7) -> rule8)) -> rule5) OR ((triple3 ((triple2 triple3) -> rule7)) -> rule6) OR ((triple5 ((triple2 triple3) -> rule7)) -> rule4) OR ((triple3 ((((triple6 triple5) -> rule1) triple3) -> rule7)) -> rule6) OR ((triple5 ((((triple6 triple5) -> rule1) triple3) -> rule7)) -> rule4) OR ((triple3 ((((((triple3) -> rule2) triple5) -> rule1) triple3) -> rule7)) -> rule6) OR ((triple5 ((((((triple3) -> rule2) triple5) -> rule1) triple3) -> rule7)) -> rule4))] Charlie is green.[(triple2 OR ((triple6 triple5) -> rule1) OR ((((triple3) -> rule2) triple5) -> rule1))] Charlie is kind.[(triple3)] Charlie is red.[(triple4 OR ((triple1 triple5) -> rule3) OR ((triple2 triple3) -> rule7) OR ((((triple6) -> rule5) triple5) -> rule3) OR ((((triple6 triple5) -> rule1) triple3) -> rule7) OR ((((((triple3) -> rule2)) -> rule5) triple5) -> rule3) OR ((((((triple2 triple7) -> rule8)) -> rule5) triple5) -> rule3) OR ((((((triple3) -> rule2) triple5) -> rule1) triple3) -> rule7))] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple3) -> rule2) OR ((triple2 triple7) -> rule8))] Charlie is young.[(triple7)]