The cow needs the mouse. The dog needs the rabbit. The mouse needs the rabbit. The rabbit needs the cow. Red people are round. If someone is round then they need the cow. If someone needs the rabbit and they see the rabbit then the rabbit sees the cow. If someone needs the mouse and they are red then they are cold. If someone visits the rabbit and the rabbit visits the cow then they are round. If someone needs the cow and they need the mouse then the mouse sees the cow. If someone needs the rabbit then they are red. If someone needs the dog and they are red then the dog is cold.
The dog is not round.
@0: The cow needs the mouse.[(triple1)] The dog needs the rabbit.[(triple2)] The mouse needs the rabbit.[(triple3)] The rabbit needs the cow.[(triple4)] @1: The dog is red.[(((triple2) -> rule7))] The mouse is red.[(((triple3) -> rule7))] @2: The dog is round.[(((((triple2) -> rule7)) -> rule1))] The mouse is round.[(((((triple3) -> rule7)) -> rule1))] @3: The dog needs the cow.[(((((((triple2) -> rule7)) -> rule1)) -> rule2))] The mouse needs the cow.[(((((((triple3) -> rule7)) -> rule1)) -> rule2))]