The cat chases the rabbit. The cat is cold. The cat is green. The cat is nice. The cat is red. The cat likes the rabbit. The cat sees the rabbit. The rabbit chases the cat. The rabbit is cold. The rabbit is green. The rabbit likes the cat. The rabbit sees the cat. If the cat is red and the cat chases the rabbit then the cat likes the rabbit. If something sees the rabbit and it chases the cat then it chases the rabbit. If something chases the cat and the cat chases the rabbit then the rabbit chases the cat.
The rabbit is green.
@0: The cat chases the rabbit.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat likes the rabbit.[(triple6 OR ((triple5 triple1) -> rule1))] The cat sees the rabbit.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is green.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit sees the cat.[(triple12)]