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