The bear is nice. The bear likes the cat. The bear likes the tiger. The cat eats the bear. The cat is cold. The cat is kind. The cat likes the rabbit. The cat visits the rabbit. The rabbit likes the tiger. The rabbit visits the tiger. The tiger eats the bear. The tiger likes the bear. If someone is kind and they visit the cat then they are big. If someone is young then they eat the cat. If someone is cold and they like the rabbit then the rabbit likes the cat. If someone likes the tiger then the tiger visits the cat. If someone is big then they eat the tiger. If someone eats the rabbit and they are cold then they visit the rabbit. If someone likes the bear then they are kind. If someone likes the rabbit and they eat the rabbit then the rabbit visits the cat. If someone eats the tiger and the tiger visits the cat then they are young.
The bear is not young.
@0: The bear is nice.[(triple1)] The bear likes the cat.[(triple2)] The bear likes the tiger.[(triple3)] The cat eats the bear.[(triple4)] The cat is cold.[(triple5)] The cat is kind.[(triple6)] The cat likes the rabbit.[(triple7)] The cat visits the rabbit.[(triple8)] The rabbit likes the tiger.[(triple9)] The rabbit visits the tiger.[(triple10)] The tiger eats the bear.[(triple11)] The tiger likes the bear.[(triple12)] @1: The rabbit likes the cat.[(((triple5 triple7) -> rule3))] The tiger is kind.[(((triple12) -> rule7))] The tiger visits the cat.[(((triple3) -> rule4) OR ((triple9) -> rule4))] @2: The tiger is big.[(((((triple12) -> rule7) ((triple3) -> rule4)) -> rule1) OR ((((triple12) -> rule7) ((triple9) -> rule4)) -> rule1))] @3: The tiger eats the tiger.[(((((((triple12) -> rule7) ((triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((triple12) -> rule7) ((triple9) -> rule4)) -> rule1)) -> rule5))] @4: The tiger is young.[(((((((((triple12) -> rule7) ((triple3) -> rule4)) -> rule1)) -> rule5) ((triple3) -> rule4)) -> rule9) OR ((((((((triple12) -> rule7) ((triple3) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule4)) -> rule9) OR ((((((((triple12) -> rule7) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple3) -> rule4)) -> rule9) OR ((((((((triple12) -> rule7) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule4)) -> rule9))] @5: The tiger eats the cat.[(((((((((((triple12) -> rule7) ((triple3) -> rule4)) -> rule1)) -> rule5) ((triple3) -> rule4)) -> rule9)) -> rule2) OR ((((((((((triple12) -> rule7) ((triple3) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule4)) -> rule9)) -> rule2) OR ((((((((((triple12) -> rule7) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple3) -> rule4)) -> rule9)) -> rule2) OR ((((((((((triple12) -> rule7) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule4)) -> rule9)) -> rule2))]