The bear is green. The bear sees the cat. The bear visits the rabbit. The bear visits the tiger. The cat needs the bear. The cat sees the rabbit. The cat visits the tiger. The rabbit is green. The rabbit sees the bear. The rabbit visits the cat. The rabbit visits the tiger. The tiger needs the cat. The tiger sees the cat. The tiger sees the rabbit. The tiger visits the cat. If someone is green then they see the cat. If the tiger needs the rabbit and the tiger sees the bear then the tiger is round. If someone visits the bear then they see the bear. If someone sees the rabbit then they need the cat. If someone needs the tiger then they are red. If someone sees the cat and they see the rabbit then the rabbit needs the cat. If someone is green and they need the cat then they are red. If someone is green and they need the tiger then the tiger is round.
The cat sees the bear.
@0: The bear is green.[(triple1)] The bear sees the cat.[(triple2 OR ((triple1) -> rule1))] The bear visits the rabbit.[(triple3)] The bear visits the tiger.[(triple4)] The cat needs the bear.[(triple5)] The cat sees the rabbit.[(triple6)] The cat visits the tiger.[(triple7)] The rabbit is green.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit visits the cat.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger needs the cat.[(triple12 OR ((triple14) -> rule4))] The tiger sees the cat.[(triple13)] The tiger sees the rabbit.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cat needs the cat.[(((triple6) -> rule4))] The rabbit needs the cat.[(((triple13 triple14) -> rule6))] The rabbit sees the cat.[(((triple8) -> rule1))] @2: The rabbit is red.[(((triple8 ((triple13 triple14) -> rule6)) -> rule7))]