The cat chases the rabbit. The cat eats the rabbit. The cat is big. The cat is blue. The cat is cold. The cat is red. The cat is young. The cat sees the rabbit. The rabbit chases the cat. The rabbit eats the cat. The rabbit is big. The rabbit is blue. The rabbit is red. The rabbit is young. The rabbit sees the cat. If something eats the rabbit then it is blue. Blue things are cold. If something is blue and young then it sees the cat.
The cat does not eat the cat.
@0: The cat chases the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is blue.[(triple4 OR ((triple2) -> rule1))] The cat is cold.[(triple5 OR ((triple4) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] The cat is red.[(triple6)] The cat is young.[(triple7)] The cat sees the rabbit.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is big.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is red.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the cat.[(triple15 OR ((triple12 triple14) -> rule3))] @1: The cat sees the cat.[(((triple4 triple7) -> rule3) OR ((((triple2) -> rule1) triple7) -> rule3))] The rabbit is cold.[(((triple12) -> rule2))]