Anne is blue. Anne is round. Anne is smart. Anne is young. Dave is big. Dave is blue. Dave is nice. If Anne is blue and Anne is young then Anne is round. Nice, round things are green. All green, nice things are smart. Nice things are big. All big, young things are green. If something is big then it is young. All nice things are blue. Blue things are young.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple1) -> rule8)) -> rule1))] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule8))] Dave is big.[(triple5 OR ((triple7) -> rule4))] Dave is blue.[(triple6 OR ((triple7) -> rule7))] Dave is nice.[(triple7)] @1: Dave is young.[(((triple5) -> rule6) OR ((triple6) -> rule8) OR ((((triple7) -> rule4)) -> rule6) OR ((((triple7) -> rule7)) -> rule8))] @2: Dave is green.[(((triple5 ((triple5) -> rule6)) -> rule5) OR ((triple5 ((triple6) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((triple5) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((triple6) -> rule8)) -> rule5) OR ((triple5 ((((triple7) -> rule4)) -> rule6)) -> rule5) OR ((triple5 ((((triple7) -> rule7)) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((((triple7) -> rule7)) -> rule8)) -> rule5))] @3: Dave is smart.[(((((triple5 ((triple5) -> rule6)) -> rule5) triple7) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) triple7) -> rule3) OR ((((((triple7) -> rule4) ((triple5) -> rule6)) -> rule5) triple7) -> rule3) OR ((((((triple7) -> rule4) ((triple6) -> rule8)) -> rule5) triple7) -> rule3) OR ((((triple5 ((((triple7) -> rule4)) -> rule6)) -> rule5) triple7) -> rule3) OR ((((triple5 ((((triple7) -> rule7)) -> rule8)) -> rule5) triple7) -> rule3) OR ((((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule5) triple7) -> rule3) OR ((((((triple7) -> rule4) ((((triple7) -> rule7)) -> rule8)) -> rule5) triple7) -> rule3))]