The bear sees the rabbit. The cow likes the rabbit. The cow needs the rabbit. The cow sees the rabbit. The dog is green. The dog is red. The dog likes the cow. The dog likes the rabbit. The dog needs the bear. The dog sees the cow. The dog sees the rabbit. The rabbit is blue. The rabbit is cold. The rabbit needs the bear. The rabbit needs the cow. The rabbit sees the dog. If the bear is cold then the bear is red. If someone likes the rabbit and they are red then the rabbit likes the dog. If someone sees the dog and they need the bear then they are red. Green people are red. If someone is red then they need the cow. If someone sees the cow and they need the cow then they like the bear. All cold, kind people are green. If someone sees the bear and the bear is cold then the bear needs the rabbit. If someone sees the dog and the dog likes the bear then the bear is cold.
The bear is not red.
@0: The bear sees the rabbit.[(triple1)] The cow likes the rabbit.[(triple2)] The cow needs the rabbit.[(triple3)] The cow sees the rabbit.[(triple4)] The dog is green.[(triple5)] The dog is red.[(triple6 OR ((triple5) -> rule4))] The dog likes the cow.[(triple7)] The dog likes the rabbit.[(triple8)] The dog needs the bear.[(triple9)] The dog sees the cow.[(triple10)] The dog sees the rabbit.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is cold.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit needs the cow.[(triple15 OR ((((triple16 triple14) -> rule3)) -> rule5))] The rabbit sees the dog.[(triple16)] @1: The dog needs the cow.[(((triple6) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] The rabbit is red.[(((triple16 triple14) -> rule3))] The rabbit likes the dog.[(((triple8 triple6) -> rule2) OR ((triple8 ((triple5) -> rule4)) -> rule2))] @2: The dog likes the bear.[(((triple10 ((triple6) -> rule5)) -> rule6) OR ((triple10 ((((triple5) -> rule4)) -> rule5)) -> rule6))] @3: The bear is cold.[(((triple16 ((triple10 ((triple6) -> rule5)) -> rule6)) -> rule9) OR ((triple16 ((triple10 ((((triple5) -> rule4)) -> rule5)) -> rule6)) -> rule9))] @4: The bear is red.[(((((triple16 ((triple10 ((triple6) -> rule5)) -> rule6)) -> rule9)) -> rule1) OR ((((triple16 ((triple10 ((((triple5) -> rule4)) -> rule5)) -> rule6)) -> rule9)) -> rule1))] @5: The bear needs the cow.[(((((((triple16 ((triple10 ((triple6) -> rule5)) -> rule6)) -> rule9)) -> rule1)) -> rule5) OR ((((((triple16 ((triple10 ((((triple5) -> rule4)) -> rule5)) -> rule6)) -> rule9)) -> rule1)) -> rule5))]