Anne is nice. Anne is red. Dave is blue. Dave is nice. Dave is red. Dave is round. Dave is young. Red things are green. If Dave is nice then Dave is red. All quiet, blue things are young. All nice, blue things are red. Nice things are young. Young things are red. All round things are green. Red, quiet things are green.
Anne is red.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2 OR ((((triple1) -> rule5)) -> rule6))] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple4) -> rule2) OR ((triple7) -> rule6) OR ((triple4 triple3) -> rule4) OR ((((triple4) -> rule5)) -> rule6))] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule5))] @1: Anne is green.[(((triple2) -> rule1) OR ((((((triple1) -> rule5)) -> rule6)) -> rule1))] Anne is young.[(((triple1) -> rule5))] Dave is green.[(((triple5) -> rule1) OR ((triple6) -> rule7) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple7) -> rule6)) -> rule1) OR ((((triple4 triple3) -> rule4)) -> rule1) OR ((((((triple4) -> rule5)) -> rule6)) -> rule1))]