The bear chases the cat. The bear chases the cow. The bear likes the cat. The bear likes the lion. The bear visits the cat. The cat is red. The cat visits the bear. The cat visits the cow. The cow visits the lion. The lion chases the cat. The lion is nice. If something likes the bear and it visits the lion then it is green. If something likes the lion and the lion is nice then it chases the lion. If something is green and it chases the cow then the cow is cold. Cold things are green. If something chases the lion and the lion chases the cat then it is cold. If the lion likes the cat and the cat chases the lion then the lion is nice. If something likes the cat then it likes the lion. If something likes the cat then it likes the lion. If something chases the lion then the lion visits the bear.
The bear is not green.
@0: The bear chases the cat.[(triple1)] The bear chases the cow.[(triple2)] The bear likes the cat.[(triple3)] The bear likes the lion.[(triple4 OR ((triple3) -> rule7) OR ((triple3) -> rule8))] The bear visits the cat.[(triple5)] The cat is red.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the cow.[(triple8)] The cow visits the lion.[(triple9)] The lion chases the cat.[(triple10)] The lion is nice.[(triple11)] @1: The bear chases the lion.[(((triple4 triple11) -> rule2) OR ((((triple3) -> rule7) triple11) -> rule2) OR ((((triple3) -> rule8) triple11) -> rule2))] @2: The bear is cold.[(((((triple4 triple11) -> rule2) triple10) -> rule5) OR ((((((triple3) -> rule7) triple11) -> rule2) triple10) -> rule5) OR ((((((triple3) -> rule8) triple11) -> rule2) triple10) -> rule5))] The lion visits the bear.[(((((triple4 triple11) -> rule2)) -> rule9) OR ((((((triple3) -> rule7) triple11) -> rule2)) -> rule9) OR ((((((triple3) -> rule8) triple11) -> rule2)) -> rule9))] @3: The bear is green.[(((((((triple4 triple11) -> rule2) triple10) -> rule5)) -> rule4) OR ((((((((triple3) -> rule7) triple11) -> rule2) triple10) -> rule5)) -> rule4) OR ((((((((triple3) -> rule8) triple11) -> rule2) triple10) -> rule5)) -> rule4))] @4: The cow is cold.[(((((((((triple4 triple11) -> rule2) triple10) -> rule5)) -> rule4) triple2) -> rule3) OR ((((((((((triple3) -> rule7) triple11) -> rule2) triple10) -> rule5)) -> rule4) triple2) -> rule3) OR ((((((((((triple3) -> rule8) triple11) -> rule2) triple10) -> rule5)) -> rule4) triple2) -> rule3))] @5: The cow is green.[(((((((((((triple4 triple11) -> rule2) triple10) -> rule5)) -> rule4) triple2) -> rule3)) -> rule4) OR ((((((((((((triple3) -> rule7) triple11) -> rule2) triple10) -> rule5)) -> rule4) triple2) -> rule3)) -> rule4) OR ((((((((((((triple3) -> rule8) triple11) -> rule2) triple10) -> rule5)) -> rule4) triple2) -> rule3)) -> rule4))]