The bear is young. The bear needs the cat. The cat chases the bear. The cat is big. The cat is kind. The cat is young. The cat needs the cow. The cow chases the bear. The cow chases the squirrel. The cow is nice. The cow is rough. The cow is young. The cow likes the cat. The cow likes the squirrel. The cow needs the cat. The squirrel needs the cat. If someone needs the cat and the cat needs the cow then they are young. If someone chases the squirrel and they chase the cat then the cat needs the squirrel. If someone is young then they are big.
The cat does not need the squirrel.
@0: The bear is young.[(triple1 OR ((triple2 triple7) -> rule1))] The bear needs the cat.[(triple2)] The cat chases the bear.[(triple3)] The cat is big.[(triple4 OR ((triple6) -> rule3))] The cat is kind.[(triple5)] The cat is young.[(triple6)] The cat needs the cow.[(triple7)] The cow chases the bear.[(triple8)] The cow chases the squirrel.[(triple9)] The cow is nice.[(triple10)] The cow is rough.[(triple11)] The cow is young.[(triple12 OR ((triple15 triple7) -> rule1))] The cow likes the cat.[(triple13)] The cow likes the squirrel.[(triple14)] The cow needs the cat.[(triple15)] The squirrel needs the cat.[(triple16)] @1: The bear is big.[(((triple1) -> rule3) OR ((((triple2 triple7) -> rule1)) -> rule3))] The cow is big.[(((triple12) -> rule3) OR ((((triple15 triple7) -> rule1)) -> rule3))] The squirrel is young.[(((triple16 triple7) -> rule1))] @2: The squirrel is big.[(((((triple16 triple7) -> rule1)) -> rule3))]