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