The bear chases the cow. The bear chases the rabbit. The bear eats the cow. The bear is red. The bear is round. The bear needs the rabbit. The cow eats the rabbit. The cow is big. The cow is nice. The cow is round. The cow needs the bear. The rabbit needs the cow. If someone is nice then they eat the bear. If someone needs the rabbit then the rabbit needs the bear. Kind, round people are nice. If someone is big and red then they need the cow. If someone needs the bear then they are red. If someone chases the cow and they eat the bear then they are kind. If someone needs the bear and the bear eats the rabbit then the bear eats the cow. If someone chases the cow and the cow needs the bear then they eat the bear.
The bear is not nice.
@0: The bear chases the cow.[(triple1)] The bear chases the rabbit.[(triple2)] The bear eats the cow.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear needs the rabbit.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is big.[(triple8)] The cow is nice.[(triple9)] The cow is round.[(triple10)] The cow needs the bear.[(triple11)] The rabbit needs the cow.[(triple12)] @1: The bear eats the bear.[(((triple1 triple11) -> rule8))] The cow eats the bear.[(((triple9) -> rule1))] The cow is red.[(((triple11) -> rule5))] The rabbit needs the bear.[(((triple6) -> rule2))] @2: The bear is kind.[(((triple1 ((triple1 triple11) -> rule8)) -> rule6))] The cow needs the cow.[(((triple8 ((triple11) -> rule5)) -> rule4))] The rabbit is red.[(((((triple6) -> rule2)) -> rule5))] @3: The bear is nice.[(((((triple1 ((triple1 triple11) -> rule8)) -> rule6) triple5) -> rule3))]