The bear eats the tiger. The bear is big. The bear is nice. The bear is red. The bear sees the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is green. The tiger is nice. The tiger is young. The tiger sees the bear. The tiger visits the bear. If something is nice then it visits the bear. If something sees the tiger and the tiger visits the bear then it eats the bear. If something sees the bear and it is red then it visits the bear. If something is young then it eats the tiger. If the tiger is young then the tiger is green. If something eats the tiger and it sees the tiger then it is big. If something is young and it sees the bear then it sees the tiger. If the bear sees the tiger and the tiger sees the bear then the tiger is green.
The tiger is not nice.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2 OR ((triple1 triple5) -> rule6))] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear sees the tiger.[(triple5)] The bear visits the tiger.[(triple6)] The tiger eats the bear.[(triple7 OR ((((triple10 triple11) -> rule7) triple12) -> rule2) OR ((((triple10 triple11) -> rule7) ((triple9) -> rule1)) -> rule2))] The tiger is green.[(triple8 OR ((triple10) -> rule5) OR ((triple5 triple11) -> rule8))] The tiger is nice.[(triple9)] The tiger is young.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the bear.[(triple12 OR ((triple9) -> rule1))] @1: The bear eats the bear.[(((triple5 triple12) -> rule2) OR ((triple5 ((triple9) -> rule1)) -> rule2))] The bear visits the bear.[(((triple3) -> rule1))] The tiger eats the tiger.[(((triple10) -> rule4))] The tiger sees the tiger.[(((triple10 triple11) -> rule7))] @2: The tiger is big.[(((((triple10) -> rule4) ((triple10 triple11) -> rule7)) -> rule6))]