The cat eats the rabbit. The cat is big. The cat is cold. The cat is nice. The cat likes the rabbit. The cat sees the rabbit. The rabbit eats the cat. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit likes the cat. The rabbit sees the cat. If someone sees the cat and the cat is green then the cat is nice. If someone is big and they eat the cat then the cat likes the rabbit. If someone sees the cat and they are big then they are green.
The cat is not green.
@0: The cat eats the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is nice.[(triple4)] The cat likes the rabbit.[(triple5 OR ((triple8 triple7) -> rule2))] The cat sees the rabbit.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit is big.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is green.[(triple10 OR ((triple12 triple8) -> rule3))] The rabbit likes the cat.[(triple11)] The rabbit sees the cat.[(triple12)]