The bear is young. The bear likes the cat. The bear likes the lion. The bear likes the tiger. The bear sees the cat. The bear sees the lion. The bear visits the lion. The cat is blue. The cat sees the lion. The lion likes the bear. The lion visits the cat. The tiger is blue. The tiger likes the lion. The tiger sees the bear. The tiger visits the bear. If someone visits the cat and they like the bear then the bear is kind. If someone is rough then they see the tiger. If someone sees the cat then they visit the bear. If someone is blue then they see the bear. If the lion sees the cat and the lion is blue then the lion is round. If someone visits the bear then they are rough.
The lion does not visit the bear.
@0: The bear is young.[(triple1)] The bear likes the cat.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the tiger.[(triple4)] The bear sees the cat.[(triple5)] The bear sees the lion.[(triple6)] The bear visits the lion.[(triple7)] The cat is blue.[(triple8)] The cat sees the lion.[(triple9)] The lion likes the bear.[(triple10)] The lion visits the cat.[(triple11)] The tiger is blue.[(triple12)] The tiger likes the lion.[(triple13)] The tiger sees the bear.[(triple14 OR ((triple12) -> rule4))] The tiger visits the bear.[(triple15)] @1: The bear is kind.[(((triple11 triple10) -> rule1))] The bear visits the bear.[(((triple5) -> rule3))] The cat sees the bear.[(((triple8) -> rule4))] The tiger is rough.[(((triple15) -> rule6))] @2: The bear is rough.[(((((triple5) -> rule3)) -> rule6))] The tiger sees the tiger.[(((((triple15) -> rule6)) -> rule2))] @3: The bear sees the tiger.[(((((((triple5) -> rule3)) -> rule6)) -> rule2))]