The bear is nice. The bear is rough. The bear likes the cat. The bear needs the squirrel. The bear visits the squirrel. The cat likes the bear. The cat visits the squirrel. The squirrel is young. The squirrel needs the cat. The squirrel visits the cat. Nice things are rough. If something visits the squirrel and the squirrel needs the bear then it is cold.
The bear does not need the squirrel.
@0: The bear is nice.[(triple1)] The bear is rough.[(triple2 OR ((triple1) -> rule1))] The bear likes the cat.[(triple3)] The bear needs the squirrel.[(triple4)] The bear visits the squirrel.[(triple5)] The cat likes the bear.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel visits the cat.[(triple10)]