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