The cow is cold. The cow needs the mouse. The cow needs the rabbit. The cow sees the rabbit. The mouse is blue. The mouse is cold. The mouse is nice. The mouse likes the rabbit. The mouse needs the cow. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit is blue. The rabbit is nice. The rabbit needs the cow. The rabbit sees the cow. If someone is nice then they like the cow. If someone sees the mouse and the mouse needs the cow then they are young. If someone likes the mouse and they see the mouse then they are red. If someone is young then they like the rabbit. If someone needs the rabbit and they need the mouse then the mouse is nice. If someone needs the cow then the cow sees the mouse.
The rabbit is red.
@0: The cow is cold.[(triple1)] The cow needs the mouse.[(triple2)] The cow needs the rabbit.[(triple3)] The cow sees the rabbit.[(triple4)] The mouse is blue.[(triple5)] The mouse is cold.[(triple6)] The mouse is nice.[(triple7 OR ((triple3 triple2) -> rule5))] The mouse likes the rabbit.[(triple8)] The mouse needs the cow.[(triple9)] The mouse needs the rabbit.[(triple10)] The mouse sees the rabbit.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is nice.[(triple13)] The rabbit needs the cow.[(triple14)] The rabbit sees the cow.[(triple15)] @1: The cow sees the mouse.[(((triple14) -> rule6) OR ((triple9) -> rule6))] The mouse likes the cow.[(((triple7) -> rule1) OR ((((triple3 triple2) -> rule5)) -> rule1))] The rabbit likes the cow.[(((triple13) -> rule1))] @2: The cow is young.[(((((triple14) -> rule6) triple9) -> rule2) OR ((((triple9) -> rule6) triple9) -> rule2))] @3: The cow likes the rabbit.[(((((((triple14) -> rule6) triple9) -> rule2)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule2)) -> rule4))]