The bear is big. The bear is blue. The bear is cold. The bear is kind. The bear is young. The bear needs the dog. The bear sees the dog. The bear visits the dog. The dog is big. The dog is blue. The dog is cold. The dog is kind. The dog is young. The dog needs the bear. The dog sees the bear. The dog visits the bear. If someone needs the bear then the bear sees the dog. If the bear is kind and the bear needs the dog then the bear is cold. If someone visits the bear then they are blue. If someone is blue and they visit the bear then they need the dog. If the bear visits the dog and the bear needs the dog then the dog is big. If someone sees the dog then the dog visits the bear.
The bear is kind.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3 OR ((triple4 triple6) -> rule2))] The bear is kind.[(triple4)] The bear is young.[(triple5)] The bear needs the dog.[(triple6)] The bear sees the dog.[(triple7 OR ((triple14) -> rule1))] The bear visits the dog.[(triple8)] The dog is big.[(triple9 OR ((triple8 triple6) -> rule5))] The dog is blue.[(triple10 OR ((triple16) -> rule3) OR ((((triple7) -> rule6)) -> rule3) OR ((((((triple14) -> rule1)) -> rule6)) -> rule3))] The dog is cold.[(triple11)] The dog is kind.[(triple12)] The dog is young.[(triple13)] The dog needs the bear.[(triple14)] The dog sees the bear.[(triple15)] The dog visits the bear.[(triple16 OR ((triple7) -> rule6) OR ((((triple14) -> rule1)) -> rule6))] @1: The dog needs the dog.[(((triple10 triple16) -> rule4) OR ((triple10 ((triple7) -> rule6)) -> rule4) OR ((((triple16) -> rule3) triple16) -> rule4) OR ((((triple16) -> rule3) ((triple7) -> rule6)) -> rule4) OR ((triple10 ((((triple14) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule6)) -> rule3) triple16) -> rule4) OR ((((triple16) -> rule3) ((((triple14) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule6)) -> rule3) ((triple7) -> rule6)) -> rule4) OR ((((((triple7) -> rule6)) -> rule3) ((((triple14) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple14) -> rule1)) -> rule6)) -> rule3) triple16) -> rule4) OR ((((((((triple14) -> rule1)) -> rule6)) -> rule3) ((triple7) -> rule6)) -> rule4) OR ((((((((triple14) -> rule1)) -> rule6)) -> rule3) ((((triple14) -> rule1)) -> rule6)) -> rule4))]