The bear is big. The bear visits the cat. The cat eats the bear. The cat is nice. The cat visits the rabbit. The cow eats the rabbit. The rabbit is young. If someone visits the rabbit and the rabbit is nice then the rabbit is round. If someone visits the cow then the cow sees the cat. If someone is young and they visit the rabbit then they visit the bear. If someone eats the bear then they are kind. All kind people are round. If someone visits the bear and they see the cat then the cat sees the cow. If someone sees the rabbit and they eat the bear then the rabbit is nice. If someone sees the bear and they are big then they visit the rabbit. If someone is round then they see the rabbit.
The cow does not visit the bear.
@0: The bear is big.[(triple1)] The bear visits the cat.[(triple2)] The cat eats the bear.[(triple3)] The cat is nice.[(triple4)] The cat visits the rabbit.[(triple5)] The cow eats the rabbit.[(triple6)] The rabbit is young.[(triple7)] @1: The cat is kind.[(((triple3) -> rule4))] @2: The cat is round.[(((((triple3) -> rule4)) -> rule5))] @3: The cat sees the rabbit.[(((((((triple3) -> rule4)) -> rule5)) -> rule9))] @4: The rabbit is nice.[(((((((((triple3) -> rule4)) -> rule5)) -> rule9) triple3) -> rule7))] @5: The rabbit is round.[(((triple5 ((((((((triple3) -> rule4)) -> rule5)) -> rule9) triple3) -> rule7)) -> rule1))] @6: The rabbit sees the rabbit.[(((((triple5 ((((((((triple3) -> rule4)) -> rule5)) -> rule9) triple3) -> rule7)) -> rule1)) -> rule9))]