The cat chases the cow. The cat is green. The cat is nice. The cat is rough. The cat is young. The cat needs the cow. The cat sees the cow. The cow chases the cat. The cow is big. The cow is green. The cow is nice. The cow is rough. The cow is young. The cow needs the cat. The cow sees the cat. If something sees the cat and the cat chases the cow then it sees the cow. If something sees the cow and the cow sees the cat then the cat sees the cow. All big things are rough. If the cow is green then the cow is young. If something sees the cow then the cow is green. If something is rough then it needs the cat.
The cow is nice.
@0: The cat chases the cow.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat needs the cow.[(triple6)] The cat sees the cow.[(triple7 OR ((((triple15 triple1) -> rule1) triple15) -> rule2))] The cow chases the cat.[(triple8)] The cow is big.[(triple9)] The cow is green.[(triple10 OR ((triple7) -> rule5) OR ((((triple15 triple1) -> rule1)) -> rule5) OR ((((((triple15 triple1) -> rule1) triple15) -> rule2)) -> rule5))] The cow is nice.[(triple11)] The cow is rough.[(triple12 OR ((triple9) -> rule3))] The cow is young.[(triple13 OR ((triple10) -> rule4) OR ((((triple7) -> rule5)) -> rule4) OR ((((((triple15 triple1) -> rule1)) -> rule5)) -> rule4) OR ((((((((triple15 triple1) -> rule1) triple15) -> rule2)) -> rule5)) -> rule4))] The cow needs the cat.[(triple14 OR ((triple12) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] The cow sees the cat.[(triple15)] @1: The cat needs the cat.[(((triple4) -> rule6))] The cow sees the cow.[(((triple15 triple1) -> rule1))]