The cow chases the squirrel. The cow eats the dog. The cow needs the squirrel. The dog eats the squirrel. The dog is big. The dog is cold. The dog needs the tiger. The squirrel eats the dog. The squirrel is cold. The squirrel needs the cow. The tiger eats the squirrel. If someone chases the tiger then the tiger is kind. If someone is kind then they chase the tiger. If someone is cold then they chase the tiger. If the dog chases the squirrel then the squirrel needs the tiger. If someone is cold and they need the dog then they do not chase the squirrel. If someone eats the cow then they are big. If someone chases the cow and they are kind then they are big. If someone eats the squirrel and the squirrel needs the tiger then they need the squirrel. If someone chases the tiger then they chase the cow.
The cow is green.
@0: The cow chases the squirrel.[(triple1)] The cow eats the dog.[(triple2)] The cow needs the squirrel.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is big.[(triple5)] The dog is cold.[(triple6)] The dog needs the tiger.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel is cold.[(triple9)] The squirrel needs the cow.[(triple10)] The tiger eats the squirrel.[(triple11)] @1: The dog chases the tiger.[(((triple6) -> rule3))] The squirrel chases the tiger.[(((triple9) -> rule3))] @2: The dog chases the cow.[(((((triple6) -> rule3)) -> rule9))] The squirrel chases the cow.[(((((triple9) -> rule3)) -> rule9))] The tiger is kind.[(((((triple6) -> rule3)) -> rule1) OR ((((triple9) -> rule3)) -> rule1))] @3: The tiger chases the tiger.[(((((((triple6) -> rule3)) -> rule1)) -> rule2) OR ((((((triple9) -> rule3)) -> rule1)) -> rule2))] @4: The tiger chases the cow.[(((((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule9) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule9))] @5: The tiger is big.[(((((((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule9) ((((triple6) -> rule3)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule9) ((((triple9) -> rule3)) -> rule1)) -> rule7) OR ((((((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule9) ((((triple6) -> rule3)) -> rule1)) -> rule7) OR ((((((((((triple9) -> rule3)) -> rule1)) -> rule2)) -> rule9) ((((triple9) -> rule3)) -> rule1)) -> rule7))]