The cow is big. The cow is young. The cow likes the tiger. The cow needs the tiger. The tiger eats the cow. The tiger is big. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the cow. The tiger needs the cow. If the cow is rough then the cow likes the tiger. If someone likes the tiger and the tiger needs the cow then they eat the tiger. If someone eats the tiger and the tiger eats the cow then the cow likes the tiger. If someone is kind then they need the cow. If someone eats the cow and the cow needs the tiger then they eat the tiger. Young people are kind. If someone is kind and young then they eat the tiger. If someone eats the cow and they need the tiger then the cow needs the tiger.
The tiger needs the tiger.
@0: The cow is big.[(triple1)] The cow is young.[(triple2)] The cow likes the tiger.[(triple3 OR ((((triple5 triple4) -> rule5) triple5) -> rule3) OR ((((triple7 triple10) -> rule7) triple5) -> rule3) OR ((((((triple10) -> rule6) triple10) -> rule7) triple5) -> rule3) OR ((((((triple2) -> rule6) triple2) -> rule7) triple5) -> rule3))] The cow needs the tiger.[(triple4)] The tiger eats the cow.[(triple5)] The tiger is big.[(triple6)] The tiger is kind.[(triple7 OR ((triple10) -> rule6))] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger is young.[(triple10)] The tiger likes the cow.[(triple11)] The tiger needs the cow.[(triple12 OR ((triple7) -> rule4) OR ((((triple10) -> rule6)) -> rule4))] @1: The cow eats the tiger.[(((triple3 triple12) -> rule2) OR ((triple3 ((triple7) -> rule4)) -> rule2) OR ((((triple2) -> rule6) triple2) -> rule7) OR ((triple3 ((((triple10) -> rule6)) -> rule4)) -> rule2) OR ((((((triple5 triple4) -> rule5) triple5) -> rule3) triple12) -> rule2) OR ((((((triple7 triple10) -> rule7) triple5) -> rule3) triple12) -> rule2) OR ((((((triple5 triple4) -> rule5) triple5) -> rule3) ((triple7) -> rule4)) -> rule2) OR ((((((triple7 triple10) -> rule7) triple5) -> rule3) ((triple7) -> rule4)) -> rule2) OR ((((((triple5 triple4) -> rule5) triple5) -> rule3) ((((triple10) -> rule6)) -> rule4)) -> rule2) OR ((((((triple7 triple10) -> rule7) triple5) -> rule3) ((((triple10) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple10) -> rule6) triple10) -> rule7) triple5) -> rule3) triple12) -> rule2) OR ((((((((triple10) -> rule6) triple10) -> rule7) triple5) -> rule3) ((triple7) -> rule4)) -> rule2) OR ((((((((triple10) -> rule6) triple10) -> rule7) triple5) -> rule3) ((((triple10) -> rule6)) -> rule4)) -> rule2))] The cow is kind.[(((triple2) -> rule6))] The tiger eats the tiger.[(((triple5 triple4) -> rule5) OR ((triple7 triple10) -> rule7) OR ((((triple10) -> rule6) triple10) -> rule7))] @2: The cow needs the cow.[(((((triple2) -> rule6)) -> rule4))]