The bear eats the squirrel. The bear is cold. The bear is rough. The bear visits the lion. The cat eats the lion. The lion likes the cat. The lion visits the bear. The squirrel eats the lion. The squirrel is cold. The squirrel is rough. The squirrel likes the bear. The squirrel visits the lion. Red people are green. If someone eats the lion then the lion is red. If someone is green and they like the lion then they eat the bear. If someone visits the bear then the bear likes the lion. If someone likes the squirrel and they like the lion then they visit the lion. If someone is green then they eat the squirrel. If someone likes the lion then they visit the bear. If someone visits the lion and the lion is green then they are red.
The bear does not like the lion.
@0: The bear eats the squirrel.[(triple1 OR ((((((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((((triple8) -> rule2)) -> rule1)) -> rule8)) -> rule1)) -> rule6))] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear visits the lion.[(triple4)] The cat eats the lion.[(triple5)] The lion likes the cat.[(triple6)] The lion visits the bear.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The bear likes the lion.[(((triple7) -> rule4))] The lion is red.[(((triple5) -> rule2) OR ((triple8) -> rule2))] @2: The bear visits the bear.[(((((triple7) -> rule4)) -> rule7))] The lion is green.[(((((triple5) -> rule2)) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] @3: The bear is red.[(((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule8) OR ((triple4 ((((triple8) -> rule2)) -> rule1)) -> rule8))] The lion eats the squirrel.[(((((((triple5) -> rule2)) -> rule1)) -> rule6) OR ((((((triple8) -> rule2)) -> rule1)) -> rule6))] The squirrel is red.[(((triple12 ((((triple5) -> rule2)) -> rule1)) -> rule8) OR ((triple12 ((((triple8) -> rule2)) -> rule1)) -> rule8))] @4: The bear is green.[(((((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule8)) -> rule1) OR ((((triple4 ((((triple8) -> rule2)) -> rule1)) -> rule8)) -> rule1))] The squirrel is green.[(((((triple12 ((((triple5) -> rule2)) -> rule1)) -> rule8)) -> rule1) OR ((((triple12 ((((triple8) -> rule2)) -> rule1)) -> rule8)) -> rule1))] @5: The bear eats the bear.[(((((((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule8)) -> rule1) ((triple7) -> rule4)) -> rule3) OR ((((((triple4 ((((triple8) -> rule2)) -> rule1)) -> rule8)) -> rule1) ((triple7) -> rule4)) -> rule3))] The squirrel eats the squirrel.[(((((((triple12 ((((triple5) -> rule2)) -> rule1)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple12 ((((triple8) -> rule2)) -> rule1)) -> rule8)) -> rule1)) -> rule6))]