The cow is big. The cow is blue. The cow likes the squirrel. The cow sees the lion. The lion eats the cow. The lion eats the squirrel. The lion is big. The lion is kind. The lion is nice. The squirrel eats the cow. The squirrel is kind. The squirrel is nice. If someone likes the cow then they are red. If someone is big then they like the squirrel.
The squirrel does not like the squirrel.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow likes the squirrel.[(triple3 OR ((triple1) -> rule2))] The cow sees the lion.[(triple4)] The lion eats the cow.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is big.[(triple7)] The lion is kind.[(triple8)] The lion is nice.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] @1: The lion likes the squirrel.[(((triple7) -> rule2))]