The bear chases the rabbit. The bear is blue. The bear is cold. The bear is green. The bear is round. The bear likes the rabbit. The bear needs the rabbit. The rabbit chases the bear. The rabbit is cold. The rabbit is nice. The rabbit likes the bear. The rabbit needs the bear. If something is nice and it needs the rabbit then the rabbit is cold. If something needs the rabbit and it is round then the rabbit likes the bear. If something is nice and it needs the rabbit then it chases the bear. If something chases the rabbit and it needs the rabbit then it is blue. If something likes the bear then the bear chases the rabbit. If something needs the rabbit then the rabbit likes the bear. If something chases the bear and it needs the rabbit then the bear needs the rabbit. If something needs the rabbit and it needs the bear then it chases the rabbit.
The rabbit is green.
@0: The bear chases the rabbit.[(triple1 OR ((triple11) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple7 triple5) -> rule2)) -> rule5))] The bear is blue.[(triple2 OR ((triple1 triple7) -> rule4) OR ((((triple11) -> rule5) triple7) -> rule4) OR ((((((triple7) -> rule6)) -> rule5) triple7) -> rule4) OR ((((((triple7 triple5) -> rule2)) -> rule5) triple7) -> rule4))] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is round.[(triple5)] The bear likes the rabbit.[(triple6)] The bear needs the rabbit.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is nice.[(triple10)] The rabbit likes the bear.[(triple11 OR ((triple7) -> rule6) OR ((triple7 triple5) -> rule2))] The rabbit needs the bear.[(triple12)]