The cow is young. Blue, kind people are nice. All young people are kind. If someone is kind and nice then they are blue. If someone is blue then they are rough. If someone is young then they are kind. All blue, kind people are rough. Nice, young people are rough. Young people are nice.
The cow does not eat the cow.
@0: The cow is young.[(triple1)] @1: The cow is kind.[(((triple1) -> rule2) OR ((triple1) -> rule5))] The cow is nice.[(((triple1) -> rule8))] @2: The cow is blue.[(((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3) OR ((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3))] The cow is rough.[(((((triple1) -> rule8) triple1) -> rule7) OR ((((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3)) -> rule4) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule5)) -> rule6))]