The cat needs the cow. The cow is young. The cow likes the tiger. The cow needs the rabbit. The rabbit is young. The rabbit likes the cat. The tiger is blue. The tiger likes the rabbit. The tiger needs the cat. The tiger sees the rabbit. If someone likes the cow and the cow likes the tiger then the tiger likes the cow. If the tiger needs the rabbit then the tiger sees the rabbit. If someone sees the tiger and the tiger likes the rabbit then they like the tiger. If someone likes the cow then they like the rabbit. All young people are red. If the cow needs the tiger and the cow needs the rabbit then the tiger likes the cow. If someone is red then they see the tiger. If someone likes the tiger and they see the tiger then they are red.
The cow is red.
@0: The cat needs the cow.[(triple1)] The cow is young.[(triple2)] The cow likes the tiger.[(triple3 OR ((((((triple2) -> rule5)) -> rule7) triple8) -> rule3))] The cow needs the rabbit.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the cat.[(triple6)] The tiger is blue.[(triple7)] The tiger likes the rabbit.[(triple8)] The tiger needs the cat.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The cow is red.[(((triple2) -> rule5))] The rabbit is red.[(((triple5) -> rule5))] @2: The cow sees the tiger.[(((((triple2) -> rule5)) -> rule7))] The rabbit sees the tiger.[(((((triple5) -> rule5)) -> rule7))] @3: The rabbit likes the tiger.[(((((((triple5) -> rule5)) -> rule7) triple8) -> rule3))]