The bear is nice. The bear is not red. The bear needs the rabbit. The bear visits the cat. The bear visits the rabbit. The cat is cold. The cat is green. The cat needs the bear. The cat needs the rabbit. The rabbit is cold. If someone likes the cat then they are cold. If someone is blue then they do not need the rabbit. If someone is blue then they visit the bear. If someone likes the rabbit then they do not visit the bear. If the rabbit is not nice then the rabbit needs the bear. If the rabbit needs the cat then the rabbit is blue. If someone is cold then they need the cat. If the rabbit does not need the cat then the rabbit is green.
The rabbit is not blue.
@0: The bear is nice.[(triple1)] The bear is not red.[(triple2)] The bear needs the rabbit.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the rabbit.[(triple5)] The cat is cold.[(triple6)] The cat is green.[(triple7)] The cat needs the bear.[(triple8)] The cat needs the rabbit.[(triple9)] The rabbit is cold.[(triple10)] @1: The cat needs the cat.[(((triple6) -> rule7))] The rabbit needs the cat.[(((triple10) -> rule7))] @2: The rabbit is blue.[(((((triple10) -> rule7)) -> rule6))] @3: The rabbit does not need the rabbit.[(((((((triple10) -> rule7)) -> rule6)) -> rule2))] The rabbit visits the bear.[(((((((triple10) -> rule7)) -> rule6)) -> rule3))]