Anne is young. Charlie is smart. Dave is smart. If someone is kind and smart then they are cold. All smart people are big. All smart people are big. All big, smart people are young. If Anne is blue and Anne is cold then Anne is smart. If Charlie is big then Charlie is white. If Dave is blue then Dave is young. All young, big people are white.
Anne is not young.
@0: Anne is young.[(triple1)] Charlie is smart.[(triple2)] Dave is smart.[(triple3)] @1: Charlie is big.[(((triple2) -> rule2) OR ((triple2) -> rule3))] Dave is big.[(((triple3) -> rule2) OR ((triple3) -> rule3))] @2: Charlie is white.[(((((triple2) -> rule2)) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule4) ((triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule2) triple2) -> rule4) ((triple2) -> rule3)) -> rule8) OR ((((((triple2) -> rule3) triple2) -> rule4) ((triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule3) triple2) -> rule4) ((triple2) -> rule3)) -> rule8))] Charlie is young.[(((((triple2) -> rule2) triple2) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4))] Dave is young.[(((((triple3) -> rule2) triple3) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4))] @3: Dave is white.[(((((((triple3) -> rule2) triple3) -> rule4) ((triple3) -> rule2)) -> rule8) OR ((((((triple3) -> rule2) triple3) -> rule4) ((triple3) -> rule3)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule4) ((triple3) -> rule2)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule4) ((triple3) -> rule3)) -> rule8))]