The cow is nice. The cow is round. The cow is young. If something is blue and nice then it is round. Blue, round things are kind. If the cow is kind then the cow is blue. If the cow is young then the cow is blue. Young, nice things are kind. Young things are blue. If the cow is blue then the cow is kind. If the cow is nice and the cow is blue then the cow is young.
The cow is not nice.
@0: The cow is nice.[(triple1)] The cow is round.[(triple2 OR ((((triple3) -> rule4) triple1) -> rule1) OR ((((triple3) -> rule6) triple1) -> rule1) OR ((((((triple3 triple1) -> rule5)) -> rule3) triple1) -> rule1))] The cow is young.[(triple3)] @1: The cow is blue.[(((triple3) -> rule4) OR ((triple3) -> rule6) OR ((((triple3 triple1) -> rule5)) -> rule3))] The cow is kind.[(((triple3 triple1) -> rule5) OR ((((triple3) -> rule4)) -> rule7) OR ((((triple3) -> rule6)) -> rule7) OR ((((triple3) -> rule4) triple2) -> rule2) OR ((((triple3) -> rule6) triple2) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule4) triple1) -> rule1)) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule6) triple1) -> rule1)) -> rule2) OR ((((triple3) -> rule6) ((((triple3) -> rule4) triple1) -> rule1)) -> rule2) OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple1) -> rule1)) -> rule2))]