Anne is round. Bob is young. Charlie is smart. Dave is smart. If Anne is young and Anne is red then Anne is big. If something is red and smart then it is green. Green, smart things are kind. All kind, young things are green. If something is kind and big then it is red. Young things are big. If something is smart and big then it is red. Big, kind things are young.
Anne is not round.
@0: Anne is round.[(triple1)] Bob is young.[(triple2)] Charlie is smart.[(triple3)] Dave is smart.[(triple4)] @1: Bob is big.[(((triple2) -> rule6))]