The bear is big. The bear sees the dog. The dog eats the bear. The dog eats the rabbit. The dog is big. The rabbit eats the tiger. The rabbit likes the dog. The rabbit sees the dog. The tiger is big. The tiger is rough. The tiger likes the dog. If something eats the bear then it is green. All big things are green. If something is red and it likes the dog then the dog is rough. If something is rough and it sees the tiger then it is big. If something sees the dog and the dog is green then it sees the tiger. If something eats the dog and the dog is big then it is kind. If something is kind and rough then it eats the tiger. If something eats the rabbit and it likes the tiger then it sees the tiger. If something sees the tiger then the tiger eats the dog.
The rabbit does not see the tiger.
@0: The bear is big.[(triple1)] The bear sees the dog.[(triple2)] The dog eats the bear.[(triple3)] The dog eats the rabbit.[(triple4)] The dog is big.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit likes the dog.[(triple7)] The rabbit sees the dog.[(triple8)] The tiger is big.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the dog.[(triple11)] @1: The bear is green.[(((triple1) -> rule2))] The dog is green.[(((triple3) -> rule1) OR ((triple5) -> rule2))] The tiger is green.[(((triple9) -> rule2))] @2: The bear sees the tiger.[(((triple2 ((triple3) -> rule1)) -> rule5) OR ((triple2 ((triple5) -> rule2)) -> rule5))] The rabbit sees the tiger.[(((triple8 ((triple3) -> rule1)) -> rule5) OR ((triple8 ((triple5) -> rule2)) -> rule5))] @3: The tiger eats the dog.[(((((triple2 ((triple3) -> rule1)) -> rule5)) -> rule9) OR ((((triple2 ((triple5) -> rule2)) -> rule5)) -> rule9) OR ((((triple8 ((triple3) -> rule1)) -> rule5)) -> rule9) OR ((((triple8 ((triple5) -> rule2)) -> rule5)) -> rule9))] @4: The tiger is kind.[(((((((triple2 ((triple3) -> rule1)) -> rule5)) -> rule9) triple5) -> rule6) OR ((((((triple2 ((triple5) -> rule2)) -> rule5)) -> rule9) triple5) -> rule6) OR ((((((triple8 ((triple3) -> rule1)) -> rule5)) -> rule9) triple5) -> rule6) OR ((((((triple8 ((triple5) -> rule2)) -> rule5)) -> rule9) triple5) -> rule6))] @5: The tiger eats the tiger.[(((((((((triple2 ((triple3) -> rule1)) -> rule5)) -> rule9) triple5) -> rule6) triple10) -> rule7) OR ((((((((triple2 ((triple5) -> rule2)) -> rule5)) -> rule9) triple5) -> rule6) triple10) -> rule7) OR ((((((((triple8 ((triple3) -> rule1)) -> rule5)) -> rule9) triple5) -> rule6) triple10) -> rule7) OR ((((((((triple8 ((triple5) -> rule2)) -> rule5)) -> rule9) triple5) -> rule6) triple10) -> rule7))]