The cow eats the dog. The cow eats the tiger. The cow is kind. The cow is red. The cow likes the dog. The cow needs the dog. The dog likes the tiger. The dog needs the cow. The dog needs the tiger. The tiger eats the cow. The tiger is kind. The tiger is round. The tiger likes the cow. The tiger needs the cow. The tiger needs the dog. If someone likes the cow then the cow needs the tiger. If someone is kind then they like the dog. If someone is round then they like the dog. If the cow is not round then the cow is not rough. If the dog eats the cow and the dog likes the tiger then the tiger is red. If someone likes the cow then they are rough. If someone eats the cow and the cow needs the dog then the dog likes the cow. If someone likes the tiger and the tiger likes the dog then the dog eats the cow.
The cow is not rough.
@0: The cow eats the dog.[(triple1)] The cow eats the tiger.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow likes the dog.[(triple5 OR ((triple3) -> rule2))] The cow needs the dog.[(triple6)] The dog likes the tiger.[(triple7)] The dog needs the cow.[(triple8)] The dog needs the tiger.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is kind.[(triple11)] The tiger is round.[(triple12)] The tiger likes the cow.[(triple13)] The tiger needs the cow.[(triple14)] The tiger needs the dog.[(triple15)] @1: The cow needs the tiger.[(((triple13) -> rule1) OR ((((triple10 triple6) -> rule7)) -> rule1) OR ((((((triple7 ((triple11) -> rule2)) -> rule8) triple6) -> rule7)) -> rule1) OR ((((((triple7 ((triple12) -> rule3)) -> rule8) triple6) -> rule7)) -> rule1))] The dog likes the cow.[(((triple10 triple6) -> rule7) OR ((((triple7 ((triple11) -> rule2)) -> rule8) triple6) -> rule7) OR ((((triple7 ((triple12) -> rule3)) -> rule8) triple6) -> rule7))] The tiger is rough.[(((triple13) -> rule6))] The tiger likes the dog.[(((triple11) -> rule2) OR ((triple12) -> rule3))] @2: The dog eats the cow.[(((triple7 ((triple11) -> rule2)) -> rule8) OR ((triple7 ((triple12) -> rule3)) -> rule8))] The dog is rough.[(((((triple10 triple6) -> rule7)) -> rule6) OR ((((((triple7 ((triple11) -> rule2)) -> rule8) triple6) -> rule7)) -> rule6) OR ((((((triple7 ((triple12) -> rule3)) -> rule8) triple6) -> rule7)) -> rule6))] @3: The tiger is red.[(((((triple7 ((triple11) -> rule2)) -> rule8) triple7) -> rule5) OR ((((triple7 ((triple12) -> rule3)) -> rule8) triple7) -> rule5))]