The bear is green. The bear is nice. The bear is red. The bear is rough. The bear likes the tiger. The bear sees the tiger. The tiger is red. If something sees the bear and the bear sees the tiger then the bear likes the tiger. If something likes the bear and it chases the tiger then the bear chases the tiger. If something chases the tiger then it likes the tiger. If something likes the bear then the bear is green. If something likes the tiger then it sees the tiger. If the bear is red then the bear likes the tiger. If the bear sees the tiger and the tiger is red then the tiger sees the bear. If something likes the tiger then the tiger is green.
The tiger does not see the tiger.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear likes the tiger.[(triple5 OR ((triple3) -> rule6) OR ((((triple6 triple7) -> rule7) triple6) -> rule1))] The bear sees the tiger.[(triple6 OR ((triple5) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] The tiger is red.[(triple7)] @1: The tiger is green.[(((triple5) -> rule8) OR ((((triple3) -> rule6)) -> rule8) OR ((((((triple6 triple7) -> rule7) triple6) -> rule1)) -> rule8))] The tiger sees the bear.[(((triple6 triple7) -> rule7) OR ((((triple5) -> rule5) triple7) -> rule7) OR ((((((triple3) -> rule6)) -> rule5) triple7) -> rule7))]