The bear eats the dog. The bear is green. The cow eats the bear. The cow eats the dog. The cow is green. The cow is nice. The cow likes the dog. The cow visits the dog. The dog eats the cow. The dog is nice. The dog likes the cow. The dog likes the squirrel. The squirrel eats the dog. The squirrel is young. The squirrel likes the cow. The squirrel visits the dog. If someone is green and red then they are young. If someone eats the dog then they are blue. If someone eats the cow and the cow visits the bear then the bear visits the dog. All blue people are red. If someone likes the bear then they like the dog. If the squirrel eats the cow and the squirrel likes the bear then the squirrel eats the dog. If someone is red and they like the cow then the cow is red. If the bear eats the cow then the cow visits the bear. If someone eats the dog and they are young then they visit the bear.
The dog likes the dog.
@0: The bear eats the dog.[(triple1)] The bear is green.[(triple2)] The cow eats the bear.[(triple3)] The cow eats the dog.[(triple4)] The cow is green.[(triple5)] The cow is nice.[(triple6)] The cow likes the dog.[(triple7)] The cow visits the dog.[(triple8)] The dog eats the cow.[(triple9)] The dog is nice.[(triple10)] The dog likes the cow.[(triple11)] The dog likes the squirrel.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the cow.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The bear is blue.[(((triple1) -> rule2))] The cow is blue.[(((triple4) -> rule2))] The squirrel is blue.[(((triple13) -> rule2))] The squirrel visits the bear.[(((triple13 triple14) -> rule9))] @2: The bear is red.[(((((triple1) -> rule2)) -> rule4))] The cow is red.[(((((triple4) -> rule2)) -> rule4) OR ((((((triple13) -> rule2)) -> rule4) triple15) -> rule7))] The squirrel is red.[(((((triple13) -> rule2)) -> rule4))] @3: The bear is young.[(((triple2 ((((triple1) -> rule2)) -> rule4)) -> rule1))] The cow is young.[(((triple5 ((((triple4) -> rule2)) -> rule4)) -> rule1) OR ((triple5 ((((((triple13) -> rule2)) -> rule4) triple15) -> rule7)) -> rule1))] @4: The bear visits the bear.[(((triple1 ((triple2 ((((triple1) -> rule2)) -> rule4)) -> rule1)) -> rule9))] The cow visits the bear.[(((triple4 ((triple5 ((((triple4) -> rule2)) -> rule4)) -> rule1)) -> rule9) OR ((triple4 ((triple5 ((((((triple13) -> rule2)) -> rule4) triple15) -> rule7)) -> rule1)) -> rule9))] @5: The bear visits the dog.[(((triple9 ((triple4 ((triple5 ((((triple4) -> rule2)) -> rule4)) -> rule1)) -> rule9)) -> rule3) OR ((triple9 ((triple4 ((triple5 ((((((triple13) -> rule2)) -> rule4) triple15) -> rule7)) -> rule1)) -> rule9)) -> rule3))]