The bear eats the cow. The bear eats the tiger. The bear likes the tiger. The cow eats the bear. The cow eats the tiger. The cow is blue. The cow is young. The cow sees the tiger. The tiger eats the bear. The tiger eats the cow. The tiger is big. The tiger is blue. The tiger is green. The tiger is rough. The tiger is young. The tiger sees the cow. If someone eats the tiger then they see the cow. If someone likes the tiger then they like the cow. If someone sees the bear then they like the cow. If someone likes the tiger and they are blue then they like the bear. If someone eats the bear then they like the cow. If someone likes the cow then they like the tiger. If someone likes the tiger and the tiger eats the bear then the bear likes the tiger. If someone is green then they eat the bear.
The bear likes the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the tiger.[(triple2)] The bear likes the tiger.[(triple3 OR ((((((triple4) -> rule5)) -> rule6) triple9) -> rule7) OR ((((((triple9) -> rule5)) -> rule6) triple9) -> rule7) OR ((((((triple4) -> rule5)) -> rule6) ((triple13) -> rule8)) -> rule7) OR ((((((triple9) -> rule5)) -> rule6) ((triple13) -> rule8)) -> rule7) OR ((((((((triple13) -> rule8)) -> rule5)) -> rule6) triple9) -> rule7) OR ((((((((triple13) -> rule8)) -> rule5)) -> rule6) ((triple13) -> rule8)) -> rule7))] The cow eats the bear.[(triple4)] The cow eats the tiger.[(triple5)] The cow is blue.[(triple6)] The cow is young.[(triple7)] The cow sees the tiger.[(triple8)] The tiger eats the bear.[(triple9 OR ((triple13) -> rule8))] The tiger eats the cow.[(triple10)] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] The tiger sees the cow.[(triple16)] @1: The bear likes the cow.[(((triple3) -> rule2) OR ((((((((triple4) -> rule5)) -> rule6) triple9) -> rule7)) -> rule2) OR ((((((((triple9) -> rule5)) -> rule6) triple9) -> rule7)) -> rule2) OR ((((((((triple4) -> rule5)) -> rule6) ((triple13) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple9) -> rule5)) -> rule6) ((triple13) -> rule8)) -> rule7)) -> rule2) OR ((((((((((triple13) -> rule8)) -> rule5)) -> rule6) triple9) -> rule7)) -> rule2) OR ((((((((((triple13) -> rule8)) -> rule5)) -> rule6) ((triple13) -> rule8)) -> rule7)) -> rule2))] The bear sees the cow.[(((triple2) -> rule1))] The cow likes the cow.[(((triple4) -> rule5))] The cow sees the cow.[(((triple5) -> rule1))] The tiger likes the cow.[(((triple9) -> rule5) OR ((((triple13) -> rule8)) -> rule5))] @2: The cow likes the tiger.[(((((triple4) -> rule5)) -> rule6))] The tiger likes the tiger.[(((((triple9) -> rule5)) -> rule6) OR ((((((triple13) -> rule8)) -> rule5)) -> rule6))] @3: The cow likes the bear.[(((((((triple4) -> rule5)) -> rule6) triple6) -> rule4))] The tiger likes the bear.[(((((((triple9) -> rule5)) -> rule6) triple12) -> rule4) OR ((((((((triple13) -> rule8)) -> rule5)) -> rule6) triple12) -> rule4))]