The bear chases the cat. The bear is big. The cat chases the rabbit. The cat is big. The cat is red. The cat is round. The cat visits the bear. The lion is big. The lion visits the rabbit. The rabbit chases the bear. The rabbit chases the cat. The rabbit chases the lion. The rabbit is green. The rabbit sees the bear. The rabbit visits the bear. The rabbit visits the cat. If someone chases the bear then the bear is round. If someone visits the rabbit and they chase the lion then they are green. If someone visits the bear and they chase the rabbit then the bear is kind. If the bear is round then the bear visits the lion. If someone sees the bear and the bear is round then they visit the rabbit. If someone visits the lion then they see the bear. If someone visits the rabbit then they chase the rabbit. If the bear sees the lion and the lion is round then the bear chases the cat.
The bear does not chase the rabbit.
@0: The bear chases the cat.[(triple1)] The bear is big.[(triple2)] The cat chases the rabbit.[(triple3)] The cat is big.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat visits the bear.[(triple7)] The lion is big.[(triple8)] The lion visits the rabbit.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit is green.[(triple13 OR ((((triple14 ((triple10) -> rule1)) -> rule5) triple12) -> rule2))] The rabbit sees the bear.[(triple14)] The rabbit visits the bear.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The bear is kind.[(((triple7 triple3) -> rule3) OR ((triple15 ((((triple14 ((triple10) -> rule1)) -> rule5)) -> rule7)) -> rule3))] The bear is round.[(((triple10) -> rule1))] The lion chases the rabbit.[(((triple9) -> rule7))] @2: The bear visits the lion.[(((((triple10) -> rule1)) -> rule4))] The rabbit visits the rabbit.[(((triple14 ((triple10) -> rule1)) -> rule5))] @3: The bear sees the bear.[(((((((triple10) -> rule1)) -> rule4)) -> rule6))] The rabbit chases the rabbit.[(((((triple14 ((triple10) -> rule1)) -> rule5)) -> rule7))] @4: The bear visits the rabbit.[(((((((((triple10) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule1)) -> rule5))] @5: The bear chases the rabbit.[(((((((((((triple10) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule1)) -> rule5)) -> rule7))]