The bear is cold. The bear is red. The bear is rough. The bear is young. The bear likes the dog. The bear sees the dog. The bear visits the dog. The dog is big. The dog is cold. The dog is red. The dog is rough. The dog is young. The dog likes the bear. The dog sees the bear. The dog visits the bear. If something visits the bear then it sees the dog. If something is rough then it likes the bear. If the bear sees the dog then the dog is red. If something likes the dog then it visits the bear. If the dog sees the bear and the bear sees the dog then the bear likes the dog. If the dog visits the bear then the dog sees the bear.
The bear is red.
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear is young.[(triple4)] The bear likes the dog.[(triple5 OR ((triple14 triple6) -> rule5) OR ((((triple15) -> rule6) triple6) -> rule5))] The bear sees the dog.[(triple6 OR ((((triple5) -> rule4)) -> rule1))] The bear visits the dog.[(triple7)] The dog is big.[(triple8)] The dog is cold.[(triple9)] The dog is red.[(triple10 OR ((triple6) -> rule3) OR ((((((triple5) -> rule4)) -> rule1)) -> rule3))] The dog is rough.[(triple11)] The dog is young.[(triple12)] The dog likes the bear.[(triple13 OR ((triple11) -> rule2))] The dog sees the bear.[(triple14 OR ((triple15) -> rule6))] The dog visits the bear.[(triple15)] @1: The bear likes the bear.[(((triple3) -> rule2))] The bear visits the bear.[(((triple5) -> rule4) OR ((((triple14 triple6) -> rule5)) -> rule4) OR ((((((triple15) -> rule6) triple6) -> rule5)) -> rule4))] The dog sees the dog.[(((triple15) -> rule1))]