The cow eats the tiger. The cow is kind. The cow is young. 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 tiger likes the cow and the cow needs the tiger then the cow is rough. If someone eats the tiger and they eat the cow then the tiger eats the cow. If someone needs the cow then they like the cow. If someone eats the cow then the cow likes the tiger. If someone likes the tiger then they need the cow. If the cow needs the tiger then the tiger is young. If someone is rough then they need the cow. If someone likes the tiger and the tiger likes the cow then the tiger needs the cow.
The tiger likes the tiger.
@0: The cow eats the tiger.[(triple1)] The cow is kind.[(triple2)] The cow is young.[(triple3)] The cow needs the tiger.[(triple4)] The tiger eats the cow.[(triple5)] The tiger is big.[(triple6)] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger is young.[(triple10 OR ((triple4) -> rule6))] The tiger likes the cow.[(triple11 OR ((triple12) -> rule3) OR ((((triple9) -> rule7)) -> rule3))] The tiger needs the cow.[(triple12 OR ((triple9) -> rule7) OR ((((triple5) -> rule4) triple11) -> rule8))] @1: The cow is rough.[(((triple11 triple4) -> rule1) OR ((((triple12) -> rule3) triple4) -> rule1) OR ((((((triple9) -> rule7)) -> rule3) triple4) -> rule1))] The cow likes the tiger.[(((triple5) -> rule4))] @2: The cow needs the cow.[(((((triple5) -> rule4)) -> rule5) OR ((((triple11 triple4) -> rule1)) -> rule7) OR ((((((triple12) -> rule3) triple4) -> rule1)) -> rule7) OR ((((((((triple9) -> rule7)) -> rule3) triple4) -> rule1)) -> rule7))] @3: The cow likes the cow.[(((((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11 triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple12) -> rule3) triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((((triple9) -> rule7)) -> rule3) triple4) -> rule1)) -> rule7)) -> rule3))]