The cow chases the tiger. The cow eats the tiger. The cow is big. The cow is cold. The cow is green. The cow is kind. The cow is round. The cow likes the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is big. The tiger is cold. The tiger is green. The tiger is kind. The tiger is round. The tiger likes the cow. If something is cold then it chases the cow. If something chases the tiger then the tiger is green. If something eats the cow and it likes the cow then it is big. If the cow is green then the cow likes the tiger. If the cow is kind and the cow is green then the cow eats the tiger. If something eats the tiger and it is kind then it eats the cow. If something eats the tiger and the tiger is big then it chases the tiger. If something likes the cow then the cow is kind.
The tiger is not cold.
@0: The cow chases the tiger.[(triple1 OR ((triple2 triple11) -> rule7) OR ((triple2 ((triple10 triple16) -> rule3)) -> rule7) OR ((((triple6 triple5) -> rule5) triple11) -> rule7) OR ((((triple6 triple5) -> rule5) ((triple10 triple16) -> rule3)) -> rule7) OR ((((((triple16) -> rule8) triple5) -> rule5) triple11) -> rule7) OR ((((((triple16) -> rule8) triple5) -> rule5) ((triple10 triple16) -> rule3)) -> rule7))] The cow eats the tiger.[(triple2 OR ((triple6 triple5) -> rule5) OR ((((triple16) -> rule8) triple5) -> rule5))] The cow is big.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is kind.[(triple6 OR ((triple16) -> rule8))] The cow is round.[(triple7)] The cow likes the tiger.[(triple8 OR ((triple5) -> rule4))] The tiger chases the cow.[(triple9 OR ((triple12) -> rule1))] The tiger eats the cow.[(triple10)] The tiger is big.[(triple11 OR ((triple10 triple16) -> rule3))] The tiger is cold.[(triple12)] The tiger is green.[(triple13 OR ((triple1) -> rule2) OR ((((triple2 triple11) -> rule7)) -> rule2) OR ((((triple2 ((triple10 triple16) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 triple5) -> rule5) triple11) -> rule7)) -> rule2) OR ((((((triple6 triple5) -> rule5) ((triple10 triple16) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple16) -> rule8) triple5) -> rule5) triple11) -> rule7)) -> rule2) OR ((((((((triple16) -> rule8) triple5) -> rule5) ((triple10 triple16) -> rule3)) -> rule7)) -> rule2))] The tiger is kind.[(triple14)] The tiger is round.[(triple15)] The tiger likes the cow.[(triple16)] @1: The cow chases the cow.[(((triple4) -> rule1))] The cow eats the cow.[(((triple2 triple6) -> rule6) OR ((triple2 ((triple16) -> rule8)) -> rule6) OR ((((triple6 triple5) -> rule5) triple6) -> rule6) OR ((((triple6 triple5) -> rule5) ((triple16) -> rule8)) -> rule6) OR ((((((triple16) -> rule8) triple5) -> rule5) triple6) -> rule6) OR ((((((triple16) -> rule8) triple5) -> rule5) ((triple16) -> rule8)) -> rule6))]