The bear chases the cat. The bear chases the rabbit. The bear is red. The bear is young. The bear likes the rabbit. The bear visits the cat. The cat chases the bear. The cat chases the rabbit. The cat is red. The cat is rough. The cat is young. The cat likes the bear. The cat likes the rabbit. The rabbit chases the bear. The rabbit is red. The rabbit likes the cat. If someone is red and they like the bear then they chase the bear. If the bear chases the rabbit then the rabbit likes the bear. If someone visits the cat then they are kind. If someone chases the bear and they visit the rabbit then the rabbit visits the cat. If someone visits the rabbit and the rabbit is young then the rabbit chases the bear. If someone is young and cold then they visit the rabbit. All rough people are cold. If someone visits the cat then they are kind.
The rabbit visits the rabbit.
@0: The bear chases the cat.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the rabbit.[(triple5)] The bear visits the cat.[(triple6)] The cat chases the bear.[(triple7 OR ((triple9 triple12) -> rule1))] The cat chases the rabbit.[(triple8)] The cat is red.[(triple9)] The cat is rough.[(triple10)] The cat is young.[(triple11)] The cat likes the bear.[(triple12)] The cat likes the rabbit.[(triple13)] The rabbit chases the bear.[(triple14 OR ((triple15 ((triple2) -> rule2)) -> rule1))] The rabbit is red.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The bear is kind.[(((triple6) -> rule3) OR ((triple6) -> rule8))] The cat is cold.[(((triple10) -> rule7))] The rabbit likes the bear.[(((triple2) -> rule2))] @2: The cat visits the rabbit.[(((triple11 ((triple10) -> rule7)) -> rule6))] @3: The rabbit visits the cat.[(((triple7 ((triple11 ((triple10) -> rule7)) -> rule6)) -> rule4) OR ((((triple9 triple12) -> rule1) ((triple11 ((triple10) -> rule7)) -> rule6)) -> rule4))] @4: The rabbit is kind.[(((((triple7 ((triple11 ((triple10) -> rule7)) -> rule6)) -> rule4)) -> rule3) OR ((((triple7 ((triple11 ((triple10) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((((triple9 triple12) -> rule1) ((triple11 ((triple10) -> rule7)) -> rule6)) -> rule4)) -> rule3) OR ((((((triple9 triple12) -> rule1) ((triple11 ((triple10) -> rule7)) -> rule6)) -> rule4)) -> rule8))]