Anne is big. Anne is green. Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is white. All blue things are kind. If Anne is young then Anne is smart.
Charlie is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple4) -> rule1))] Charlie is white.[(triple7)]