The bear chases the lion. The bear is blue. The bear is round. The bear visits the lion. The lion chases the bear. The lion is blue. The lion is cold. The lion is kind. The lion is rough. The lion is round. The lion sees the bear. The lion visits the bear. If something chases the lion then it visits the bear. If the bear is cold then the bear is blue. If something sees the lion then the lion sees the bear. If something sees the bear then the bear chases the lion. If the lion sees the bear then the lion chases the bear. If something sees the lion and the lion chases the bear then the bear is cold. If the lion is rough and the lion sees the bear then the lion is kind. If the lion visits the bear and the lion is round then the bear is round.
The bear is blue.
@0: The bear chases the lion.[(triple1 OR ((triple11) -> rule4))] The bear is blue.[(triple2)] The bear is round.[(triple3 OR ((triple12 triple10) -> rule8))] The bear visits the lion.[(triple4)] The lion chases the bear.[(triple5 OR ((triple11) -> rule5))] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion is kind.[(triple8 OR ((triple9 triple11) -> rule7))] The lion is rough.[(triple9)] The lion is round.[(triple10)] The lion sees the bear.[(triple11)] The lion visits the bear.[(triple12)] @1: The bear visits the bear.[(((triple1) -> rule1) OR ((((triple11) -> rule4)) -> rule1))]