The cat eats the cow. The cat eats the rabbit. The cat eats the tiger. The cat is young. The cat needs the cow. The cat needs the tiger. The cow eats the cat. The cow eats the tiger. The cow is red. The cow is round. The rabbit eats the cow. The rabbit needs the cow. The tiger eats the cow. The tiger is kind. The tiger is young. The tiger sees the rabbit. If someone is red and they eat the rabbit then they are kind. If someone needs the rabbit then they are round. If the rabbit needs the cow and the rabbit is cold then the rabbit sees the cow. If someone eats the cat then the cat needs the tiger. If someone needs the cow and they see the cat then the cat is red. If someone needs the cow and the cow eats the rabbit then they see the cat. If someone sees the rabbit then they are red. If someone is young then they see the rabbit.
The rabbit is red.
@0: The cat eats the cow.[(triple1)] The cat eats the rabbit.[(triple2)] The cat eats the tiger.[(triple3)] The cat is young.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the tiger.[(triple6 OR ((triple7) -> rule4))] The cow eats the cat.[(triple7)] The cow eats the tiger.[(triple8)] The cow is red.[(triple9)] The cow is round.[(triple10)] The rabbit eats the cow.[(triple11)] The rabbit needs the cow.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] The tiger sees the rabbit.[(triple16 OR ((triple15) -> rule8))] @1: The cat sees the rabbit.[(((triple4) -> rule8))] The tiger is red.[(((triple16) -> rule7) OR ((((triple15) -> rule8)) -> rule7))] @2: The cat is red.[(((((triple4) -> rule8)) -> rule7))] @3: The cat is kind.[(((((((triple4) -> rule8)) -> rule7) triple2) -> rule1))]