The cow is blue. The cow is nice. The cow sees the rabbit. The cow sees the tiger. The cow visits the tiger. The rabbit sees the cow. The rabbit visits the cow. The tiger is blue. The tiger needs the rabbit. The tiger sees the rabbit. If someone sees the rabbit then the rabbit sees the cow. If someone sees the rabbit then they need the cow. If someone visits the cow then they see the cow. If someone needs the rabbit and the rabbit is blue then they need the tiger. Green, nice people are blue. If someone visits the cow then they see the rabbit. If someone needs the cow then they visit the rabbit. If someone sees the tiger and they need the tiger then the tiger sees the rabbit.
The cow is not cold.
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow sees the rabbit.[(triple3)] The cow sees the tiger.[(triple4)] The cow visits the tiger.[(triple5)] The rabbit sees the cow.[(triple6 OR ((triple10) -> rule1) OR ((triple3) -> rule1) OR ((triple7) -> rule3) OR ((((triple7) -> rule6)) -> rule1))] The rabbit visits the cow.[(triple7)] The tiger is blue.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The cow needs the cow.[(((triple3) -> rule2))] The rabbit sees the rabbit.[(((triple7) -> rule6))] The tiger needs the cow.[(((triple10) -> rule2))] @2: The cow visits the rabbit.[(((((triple3) -> rule2)) -> rule7))] The rabbit needs the cow.[(((((triple7) -> rule6)) -> rule2))] The tiger visits the rabbit.[(((((triple10) -> rule2)) -> rule7))] @3: The rabbit visits the rabbit.[(((((((triple7) -> rule6)) -> rule2)) -> rule7))]