The cow is green. The cow is nice. The cow is red. The cow is rough. The cow is young. If the cow is nice and the cow is young then the cow is green. All young, rough people are red. If the cow is rough and the cow is nice then the cow is green. Green, red people are young. If someone is nice then they are green. If the cow is rough and the cow is nice then the cow is red.
The cow does not chase the cow.
@0: The cow is green.[(triple1 OR ((triple2) -> rule5) OR ((triple2 triple5) -> rule1) OR ((triple4 triple2) -> rule3))] The cow is nice.[(triple2)] The cow is red.[(triple3 OR ((triple4 triple2) -> rule6) OR ((triple5 triple4) -> rule2))] The cow is rough.[(triple4)] The cow is young.[(triple5 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple4 triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule5) triple3) -> rule4) OR ((((triple4 triple2) -> rule3) triple3) -> rule4) OR ((((triple2) -> rule5) ((triple4 triple2) -> rule6)) -> rule4) OR ((((triple4 triple2) -> rule3) ((triple4 triple2) -> rule6)) -> rule4))]