The cow chases the rabbit. The cow likes the tiger. The cow sees the rabbit. The rabbit chases the cow. The rabbit chases the squirrel. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit likes the cow. The rabbit sees the cow. The rabbit sees the squirrel. The rabbit sees the tiger. The squirrel chases the cow. The squirrel is blue. The squirrel sees the cow. The tiger likes the cow. If something sees the squirrel then it chases the tiger. If something is kind then it is big. If something is kind then it likes the squirrel. If something chases the squirrel and the squirrel is kind then the squirrel chases the cow. Big things are kind. If the squirrel sees the cow then the cow is young. If something likes the squirrel then the squirrel sees the rabbit. If something sees the rabbit then it is big.
The squirrel likes the squirrel.
@0: The cow chases the rabbit.[(triple1)] The cow likes the tiger.[(triple2)] The cow sees the rabbit.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit sees the cow.[(triple10)] The rabbit sees the squirrel.[(triple11)] The rabbit sees the tiger.[(triple12)] The squirrel chases the cow.[(triple13 OR ((triple5 ((((((((triple7) -> rule3)) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((triple5 ((((((((((((triple3) -> rule8)) -> rule5)) -> rule3)) -> rule7)) -> rule8)) -> rule5)) -> rule4))] The squirrel is blue.[(triple14)] The squirrel sees the cow.[(triple15)] The tiger likes the cow.[(triple16)] @1: The cow is big.[(((triple3) -> rule8))] The cow is young.[(((triple15) -> rule6))] The rabbit chases the tiger.[(((triple11) -> rule1))] The rabbit is big.[(((triple7) -> rule2))] The rabbit likes the squirrel.[(((triple7) -> rule3))] @2: The cow is kind.[(((((triple3) -> rule8)) -> rule5))] The squirrel sees the rabbit.[(((((triple7) -> rule3)) -> rule7) OR ((((((((triple3) -> rule8)) -> rule5)) -> rule3)) -> rule7))] @3: The cow likes the squirrel.[(((((((triple3) -> rule8)) -> rule5)) -> rule3))] The squirrel is big.[(((((((triple7) -> rule3)) -> rule7)) -> rule8) OR ((((((((((triple3) -> rule8)) -> rule5)) -> rule3)) -> rule7)) -> rule8))] @4: The squirrel is kind.[(((((((((triple7) -> rule3)) -> rule7)) -> rule8)) -> rule5) OR ((((((((((((triple3) -> rule8)) -> rule5)) -> rule3)) -> rule7)) -> rule8)) -> rule5))] @5: The squirrel likes the squirrel.[(((((((((((triple7) -> rule3)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((((((((((((triple3) -> rule8)) -> rule5)) -> rule3)) -> rule7)) -> rule8)) -> rule5)) -> rule3))]