The cat does not eat the cow. The cat is nice. The cat is not rough. The cat does not see the rabbit. The cow eats the cat. The cow eats the rabbit. The cow is not round. The cow sees the cat. The rabbit does not chase the cow. The rabbit eats the cat. The rabbit is rough. The rabbit sees the cow. All rough things are blue.
The cat is not blue.
@0: The cat does not eat the cow.[(triple1)] The cat does not see the rabbit.[(triple4)] The cat is nice.[(triple2)] The cat is not rough.[(triple3)] The cow eats the cat.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is not round.[(triple7)] The cow sees the cat.[(triple8)] The rabbit does not chase the cow.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is rough.[(triple11)] The rabbit sees the cow.[(triple12)] @1: The rabbit is blue.[(((triple11) -> rule1))]