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