The bear chases the cat. The bear is cold. The bear does not see the cat. The bear sees the rabbit. The cat is cold. The cat does not need the rabbit. The cat sees the rabbit. The rabbit chases the bear. The rabbit needs the cat. The rabbit sees the cat. If something is kind and cold then it does not chase the rabbit. If something is kind and it needs the bear then the bear does not need the rabbit. If something sees the cat and it is not kind then the cat does not chase the rabbit. If something sees the cat then the cat is not green. If something sees the rabbit and the rabbit chases the bear then the rabbit is big. If something is green then it does not chase the bear.
The rabbit does not chase the bear.
@0: The bear chases the cat.[(triple1)] The bear does not see the cat.[(triple3)] The bear is cold.[(triple2)] The bear sees the rabbit.[(triple4)] The cat does not need the rabbit.[(triple6)] The cat is cold.[(triple5)] The cat sees the rabbit.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit needs the cat.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The cat is not green.[(((triple10) -> rule4))] The rabbit is big.[(((triple4 triple8) -> rule5) OR ((triple7 triple8) -> rule5))]