The cat is kind. The cow eats the rabbit. The cow is kind. The cow likes the cat. The cow likes the rabbit. The cow visits the cat. The rabbit likes the cat. If someone visits the cow then they visit the cat. If someone likes the cow and they like the rabbit then the cow is big. If the cow is young and the cow likes the rabbit then the rabbit likes the cat. If someone is nice and they visit the cow then the cow is rough. All kind people are big. If someone visits the cow then the cow eats the cat.
The rabbit is kind.
@0: The cat is kind.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is kind.[(triple3)] The cow likes the cat.[(triple4)] The cow likes the rabbit.[(triple5)] The cow visits the cat.[(triple6)] The rabbit likes the cat.[(triple7)] @1: The cat is big.[(((triple1) -> rule5))] The cow is big.[(((triple3) -> rule5))]