The bear is cold. The bear is green. The bear is red. The bear is round. The bear likes the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit likes the bear. The rabbit sees the bear. The rabbit visits the bear. If someone sees the rabbit then they like the rabbit. If someone visits the bear and the bear sees the rabbit then they see the rabbit.
The bear likes the bear.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear likes the rabbit.[(triple5 OR ((triple6) -> rule1))] The bear sees the rabbit.[(triple6)] The bear visits the rabbit.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the bear.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The rabbit sees the rabbit.[(((triple15 triple6) -> rule2))] @2: The rabbit likes the rabbit.[(((((triple15 triple6) -> rule2)) -> rule1))]