The cow is big. The cow is young. The cow likes the rabbit. The cow visits the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is red. The rabbit is young. The rabbit likes the cow. The rabbit visits the cow. If someone visits the rabbit and the rabbit is kind then the rabbit chases the cow. If someone chases the rabbit then the rabbit chases the cow. If the cow visits the rabbit and the rabbit is red then the cow likes the rabbit. If someone chases the rabbit and they are green then the rabbit visits the cow. If someone chases the rabbit then they are green. If the rabbit visits the cow and the rabbit is green then the cow chases the rabbit. If the cow visits the rabbit then the rabbit likes the cow. If someone is red then they are green.
The cow is green.
@0: The cow is big.[(triple1)] The cow is young.[(triple2)] The cow likes the rabbit.[(triple3 OR ((triple4 triple7) -> rule3))] The cow visits the rabbit.[(triple4)] The rabbit chases the cow.[(triple5 OR ((((triple10 ((triple7) -> rule8)) -> rule6)) -> rule2))] The rabbit is big.[(triple6)] The rabbit is red.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the cow.[(triple9 OR ((triple4) -> rule7))] The rabbit visits the cow.[(triple10)] @1: The rabbit is green.[(((triple7) -> rule8))] @2: The cow chases the rabbit.[(((triple10 ((triple7) -> rule8)) -> rule6))] @3: The cow is green.[(((((triple10 ((triple7) -> rule8)) -> rule6)) -> rule5))]