The bear is big. The bear is green. The bear is kind. The bear is round. The bear likes the dog. The bear sees the dog. The bear visits the dog. The dog is cold. The dog is green. The dog is round. The dog sees the bear. The dog visits the bear. If something sees the dog and the dog likes the bear then it is big. If the bear is round then the bear sees the dog. If the dog visits the bear then the dog likes the bear. If something is cold and it visits the bear then the bear is big. If the bear visits the dog then the dog sees the bear. If something visits the dog then it likes the bear. If something likes the bear then it sees the dog. If something visits the bear and it likes the dog then the dog sees the bear.
The bear is kind.
@0: The bear is big.[(triple1 OR ((triple8 triple12) -> rule4) OR ((triple6 ((triple12) -> rule3)) -> rule1) OR ((((triple4) -> rule2) ((triple12) -> rule3)) -> rule1) OR ((((((triple7) -> rule6)) -> rule7) ((triple12) -> rule3)) -> rule1))] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the dog.[(triple6 OR ((triple4) -> rule2) OR ((((triple7) -> rule6)) -> rule7))] The bear visits the dog.[(triple7)] The dog is cold.[(triple8)] The dog is green.[(triple9)] The dog is round.[(triple10)] The dog sees the bear.[(triple11 OR ((triple7) -> rule5))] The dog visits the bear.[(triple12)] @1: The bear likes the bear.[(((triple7) -> rule6))] The dog likes the bear.[(((triple12) -> rule3))] @2: The dog sees the dog.[(((((triple12) -> rule3)) -> rule7))] @3: The dog is big.[(((((((triple12) -> rule3)) -> rule7) ((triple12) -> rule3)) -> rule1))]