The bear chases the lion. The bear is green. The bear is not young. The bear likes the lion. The bear visits the lion. The lion is green. The lion is kind. If someone chases the bear and they do not visit the bear then they do not like the lion. If someone is green then they like the bear. If someone likes the bear then they are nice. If someone likes the lion then they are green. If the lion is kind and the lion is nice then the lion is young. If someone likes the bear and the bear chases the lion then the bear visits the lion.
The lion is nice.
@0: The bear chases the lion.[(triple1)] The bear is green.[(triple2 OR ((triple4) -> rule4))] The bear is not young.[(triple3)] The bear likes the lion.[(triple4)] The bear visits the lion.[(triple5 OR ((((triple2) -> rule2) triple1) -> rule6) OR ((((triple6) -> rule2) triple1) -> rule6) OR ((((((triple4) -> rule4)) -> rule2) triple1) -> rule6))] The lion is green.[(triple6)] The lion is kind.[(triple7)] @1: The bear likes the bear.[(((triple2) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] The lion likes the bear.[(((triple6) -> rule2))] @2: The bear is nice.[(((((triple2) -> rule2)) -> rule3) OR ((((((triple4) -> rule4)) -> rule2)) -> rule3))] The lion is nice.[(((((triple6) -> rule2)) -> rule3))] @3: The lion is young.[(((triple7 ((((triple6) -> rule2)) -> rule3)) -> rule5))]