The cat chases the mouse. The cat does not chase the rabbit. The cat is green. The cat is red. The mouse chases the cat. The mouse does not chase the rabbit. The mouse is cold. The mouse is red. The mouse is round. The mouse likes the rabbit. The mouse needs the cat. The rabbit chases the cat. The rabbit is not cold. The rabbit is green. The rabbit does not like the mouse. The rabbit does not need the mouse. If someone likes the mouse and they need the rabbit then the rabbit is cold. If someone needs the rabbit and they are red then they do not like the cat. If someone chases the mouse then they need the rabbit. If someone is young and they do not like the mouse then they are red. If the rabbit is cold then the rabbit does not need the mouse. If someone chases the cat and the cat chases the mouse then they chase the mouse. If someone likes the cat then the cat needs the mouse. If the mouse does not chase the rabbit and the rabbit does not chase the mouse then the mouse is round.
The rabbit is cold.
@0: The cat chases the mouse.[(triple1)] The cat does not chase the rabbit.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The mouse chases the cat.[(triple5)] The mouse does not chase the rabbit.[(triple6)] The mouse is cold.[(triple7)] The mouse is red.[(triple8)] The mouse is round.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse needs the cat.[(triple11)] The rabbit chases the cat.[(triple12)] The rabbit does not like the mouse.[(triple15)] The rabbit does not need the mouse.[(triple16)] The rabbit is green.[(triple14)] The rabbit is not cold.[(triple13)] @1: The cat needs the rabbit.[(((triple1) -> rule3))] The mouse chases the mouse.[(((triple5 triple1) -> rule6))] The rabbit chases the mouse.[(((triple12 triple1) -> rule6))] @2: The cat does not like the cat.[(((((triple1) -> rule3) triple4) -> rule2))] The mouse needs the rabbit.[(((((triple5 triple1) -> rule6)) -> rule3))] The rabbit needs the rabbit.[(((((triple12 triple1) -> rule6)) -> rule3))] @3: The mouse does not like the cat.[(((((((triple5 triple1) -> rule6)) -> rule3) triple8) -> rule2))]