The bear chases the cat. The bear is cold. The bear is red. The bear sees the cat. The cat chases the rabbit. The cat chases the tiger. The cat is cold. The cat is not green. The cat sees the tiger. The rabbit is blue. The rabbit is green. The rabbit sees the cat. The rabbit sees the tiger. The tiger chases the rabbit. The tiger is red. The tiger needs the cat. If someone is red then they chase the cat. If someone chases the rabbit and they do not need the tiger then the tiger does not chase the cat. If someone sees the rabbit then they need the cat. If someone is green then they chase the bear. If someone sees the bear then the bear chases the cat. If someone chases the tiger then they are kind. If the cat does not chase the rabbit then the rabbit chases the cat. If the rabbit chases the bear then the bear is green.
The bear is cold.
@0: The bear chases the cat.[(triple1 OR ((triple3) -> rule1))] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear sees the cat.[(triple4)] The cat chases the rabbit.[(triple5)] The cat chases the tiger.[(triple6)] The cat is cold.[(triple7)] The cat is not green.[(triple8)] The cat sees the tiger.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit sees the cat.[(triple12)] The rabbit sees the tiger.[(triple13)] The tiger chases the rabbit.[(triple14)] The tiger is red.[(triple15)] The tiger needs the cat.[(triple16)] @1: The cat is kind.[(((triple6) -> rule6))] The rabbit chases the bear.[(((triple11) -> rule4))] The tiger chases the cat.[(((triple15) -> rule1))] @2: The bear is green.[(((((triple11) -> rule4)) -> rule8))] @3: The bear chases the bear.[(((((((triple11) -> rule4)) -> rule8)) -> rule4))]