The cat is nice. The cow is nice. The cow does not like the cat. The cow does not see the cat. The rabbit sees the cat. The rabbit sees the cow. The rabbit visits the cat. If someone likes the cow then they are not green. If the cow likes the rabbit and the rabbit is green then the rabbit sees the cow. If someone is rough and they like the cat then the cat likes the rabbit. If someone is green and they do not see the rabbit then they like the rabbit. If someone sees the cat then they like the cat. If someone likes the cat then they like the cow.
The cat is nice.
@0: The cat is nice.[(triple1)] The cow does not like the cat.[(triple3)] The cow does not see the cat.[(triple4)] The cow is nice.[(triple2)] The rabbit sees the cat.[(triple5)] The rabbit sees the cow.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The rabbit likes the cat.[(((triple5) -> rule5))] @2: The rabbit likes the cow.[(((((triple5) -> rule5)) -> rule6))] @3: The rabbit is not green.[(((((((triple5) -> rule5)) -> rule6)) -> rule1))]