The bear likes the cat. The bear needs the rabbit. The bear sees the squirrel. The cat is rough. The cat likes the bear. The cat likes the rabbit. The cat likes the squirrel. The cat sees the bear. The cat sees the squirrel. The rabbit likes the bear. The rabbit needs the bear. The rabbit needs the cat. The rabbit sees the cat. The squirrel is rough. The squirrel needs the bear. The squirrel needs the rabbit. If something is big then it sees the cat. All big things are nice. If something likes the rabbit then it is big. If something is nice then it needs the squirrel. If something needs the bear and it needs the cat then it likes the squirrel. If something is red and it needs the rabbit then the rabbit is rough.
The cat is nice.
@0: The bear likes the cat.[(triple1)] The bear needs the rabbit.[(triple2)] The bear sees the squirrel.[(triple3)] The cat is rough.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the rabbit.[(triple6)] The cat likes the squirrel.[(triple7)] The cat sees the bear.[(triple8)] The cat sees the squirrel.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit needs the cat.[(triple12)] The rabbit sees the cat.[(triple13)] The squirrel is rough.[(triple14)] The squirrel needs the bear.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The cat is big.[(((triple6) -> rule3))] The rabbit likes the squirrel.[(((triple11 triple12) -> rule5))] @2: The cat is nice.[(((((triple6) -> rule3)) -> rule2))] The cat sees the cat.[(((((triple6) -> rule3)) -> rule1))] @3: The cat needs the squirrel.[(((((((triple6) -> rule3)) -> rule2)) -> rule4))]