The bear is cold. The bear is green. The bear is nice. The bear likes the lion. The bear sees the lion. The bear visits the lion. The lion is green. The lion is round. The lion likes the bear. The lion visits the bear. If something sees the bear then the bear likes the lion. If something is green and round then it sees the lion. If something visits the lion and the lion likes the bear then the bear is cold. If something sees the bear and the bear sees the lion then the bear is nice. If something sees the bear and the bear likes the lion then the bear sees the lion. If something is green and it sees the lion then it is cold. If something likes the bear and it sees the bear then the bear visits the lion. If something is cold and it visits the bear then it visits the lion.
The lion does not like the lion.
@0: The bear is cold.[(triple1 OR ((triple2 triple5) -> rule6) OR ((triple6 triple9) -> rule3) OR ((((((triple7 ((triple7 triple8) -> rule2)) -> rule6) triple10) -> rule8) triple9) -> rule3))] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear likes the lion.[(triple4)] The bear sees the lion.[(triple5)] The bear visits the lion.[(triple6)] The lion is green.[(triple7)] The lion is round.[(triple8)] The lion likes the bear.[(triple9)] The lion visits the bear.[(triple10)] @1: The lion sees the lion.[(((triple7 triple8) -> rule2))] @2: The lion is cold.[(((triple7 ((triple7 triple8) -> rule2)) -> rule6))] @3: The lion visits the lion.[(((((triple7 ((triple7 triple8) -> rule2)) -> rule6) triple10) -> rule8))]