The bear eats the cow. The cat chases the bear. The cat eats the bear. The cat eats the tiger. The cat is green. The cat is kind. The cat is rough. The cat sees the bear. The cat sees the tiger. The cow eats the bear. The cow eats the tiger. The cow is green. The cow sees the cat. The tiger chases the bear. The tiger chases the cat. The tiger chases the cow. If someone chases the bear and the bear is cold then they eat the cat. If someone chases the bear and the bear chases the tiger then the bear sees the tiger. If the cat chases the bear and the cat sees the tiger then the bear chases the tiger. If someone chases the tiger and they are green then the tiger chases the cow. Nice, kind people are cold. If someone chases the bear then the bear chases the cat. If someone chases the cat then they are nice. If someone is nice then they are kind.
The tiger sees the cat.
@0: The bear eats the cow.[(triple1)] The cat chases the bear.[(triple2)] The cat eats the bear.[(triple3)] The cat eats the tiger.[(triple4)] The cat is green.[(triple5)] The cat is kind.[(triple6)] The cat is rough.[(triple7)] The cat sees the bear.[(triple8)] The cat sees the tiger.[(triple9)] The cow eats the bear.[(triple10)] The cow eats the tiger.[(triple11)] The cow is green.[(triple12)] The cow sees the cat.[(triple13)] The tiger chases the bear.[(triple14)] The tiger chases the cat.[(triple15)] The tiger chases the cow.[(triple16)] @1: The bear chases the cat.[(((triple14) -> rule6) OR ((triple2) -> rule6))] The bear chases the tiger.[(((triple2 triple9) -> rule3))] The tiger is nice.[(((triple15) -> rule7))] @2: The bear is nice.[(((((triple14) -> rule6)) -> rule7) OR ((((triple2) -> rule6)) -> rule7))] The bear sees the tiger.[(((triple14 ((triple2 triple9) -> rule3)) -> rule2) OR ((triple2 ((triple2 triple9) -> rule3)) -> rule2))] The tiger is kind.[(((((triple15) -> rule7)) -> rule8))] @3: The bear is kind.[(((((((triple14) -> rule6)) -> rule7)) -> rule8) OR ((((((triple2) -> rule6)) -> rule7)) -> rule8))] The tiger is cold.[(((((triple15) -> rule7) ((((triple15) -> rule7)) -> rule8)) -> rule5))] @4: The bear is cold.[(((((((triple14) -> rule6)) -> rule7) ((((((triple14) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple14) -> rule6)) -> rule7) ((((((triple2) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple2) -> rule6)) -> rule7) ((((((triple14) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple2) -> rule6)) -> rule7) ((((((triple2) -> rule6)) -> rule7)) -> rule8)) -> rule5))] @5: The cat eats the cat.[(((triple2 ((((((triple14) -> rule6)) -> rule7) ((((((triple14) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((triple2 ((((((triple14) -> rule6)) -> rule7) ((((((triple2) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((triple2 ((((((triple2) -> rule6)) -> rule7) ((((((triple14) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((triple2 ((((((triple2) -> rule6)) -> rule7) ((((((triple2) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1))] The tiger eats the cat.[(((triple14 ((((((triple14) -> rule6)) -> rule7) ((((((triple14) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((triple14 ((((((triple14) -> rule6)) -> rule7) ((((((triple2) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((triple14 ((((((triple2) -> rule6)) -> rule7) ((((((triple14) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1) OR ((triple14 ((((((triple2) -> rule6)) -> rule7) ((((((triple2) -> rule6)) -> rule7)) -> rule8)) -> rule5)) -> rule1))]