The bear eats the dog. The bear is big. The bear is kind. The bear is red. The bear likes the dog. The dog eats the bear. The dog likes the bear. If something eats the bear then it is young. If something is red then it eats the bear. If something is green then it chases the bear. If something likes the bear then the bear is big. If something eats the dog and it is young then the dog is green. If something is green and it chases the dog then it likes the dog. If something is red and it eats the dog then the dog chases the bear. If something likes the dog and the dog does not like the bear then the bear is not kind.
The dog is green.
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2 OR ((triple7) -> rule4))] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear likes the dog.[(triple5)] The dog eats the bear.[(triple6)] The dog likes the bear.[(triple7)] @1: The bear eats the bear.[(((triple4) -> rule2))] The dog chases the bear.[(((triple4 triple1) -> rule7) OR ((((triple1 ((((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule3))] The dog is young.[(((triple6) -> rule1))] @2: The bear is young.[(((((triple4) -> rule2)) -> rule1))] @3: The dog is green.[(((triple1 ((((triple4) -> rule2)) -> rule1)) -> rule5))]