The bear sees the cow. The cow needs the rabbit. The dog needs the cow. The dog needs the rabbit. The dog does not see the cow. The dog sees the rabbit. The rabbit is rough. If someone is rough then they eat the dog. If someone needs the bear then they eat the rabbit. If someone is blue and they need the bear then the bear does not eat the dog. If the bear is blue then the bear does not eat the rabbit. If someone eats the bear then the bear is rough. If someone eats the dog then they eat the bear. If someone needs the dog then the dog is round. If someone eats the bear then the bear needs the dog. If someone eats the dog and the dog needs the bear then the dog does not see the bear.
The dog is not big.
@0: The bear sees the cow.[(triple1)] The cow needs the rabbit.[(triple2)] The dog does not see the cow.[(triple5)] The dog needs the cow.[(triple3)] The dog needs the rabbit.[(triple4)] The dog sees the rabbit.[(triple6)] The rabbit is rough.[(triple7)] @1: The rabbit eats the dog.[(((triple7) -> rule1))] @2: The rabbit eats the bear.[(((((triple7) -> rule1)) -> rule6))] @3: The bear is rough.[(((((((triple7) -> rule1)) -> rule6)) -> rule5))] The bear needs the dog.[(((((((triple7) -> rule1)) -> rule6)) -> rule8) OR ((((((((((((triple7) -> rule1)) -> rule6)) -> rule5)) -> rule1)) -> rule6)) -> rule8))] @4: The bear eats the dog.[(((((((((triple7) -> rule1)) -> rule6)) -> rule5)) -> rule1))] The dog is round.[(((((((((triple7) -> rule1)) -> rule6)) -> rule8)) -> rule7) OR ((((((((((((((triple7) -> rule1)) -> rule6)) -> rule5)) -> rule1)) -> rule6)) -> rule8)) -> rule7))] @5: The bear eats the bear.[(((((((((((triple7) -> rule1)) -> rule6)) -> rule5)) -> rule1)) -> rule6))]